python

Categories of Python functions.

finset	The category of finite sets implemented as Python lists.
function	The category of Python functions with sequential composition.
additive	The category of Python functions with disjoint union as monoidal product.
multiplicative	The category of Python functions with tuple as monoidal product.