Function

class discopy.python.finset.Function(inside, dom, cod)

Bases: discopy.abc.MonoidalCategory

A function between finite sets encoded as a Python list.

Parameters:

• inside (list[int]) – The list from range(cod) to range(dom).

• 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])

ob

alias of int