Function

Contents

Function#

class discopy.python.finset.Function(inside, dom, cod)[source]#

Bases: Composable[int], Whiskerable

A function between finite sets encoded as a Python dictionary.

Parameters:

  • inside (dict[int, int]) – The dictionary from range(dom) to range(cod).

  • dom (int) – The size of domain of the function.

  • cod (int) – The size of codomain of the function.

Summary

id([x])

then(other)

tensor(other)

swap(x, y)

copy(x[, n])

Contents