semantics

DisCoPy’s computational core: categories of functions, matrices and tensors.

discopy.python	The category of Python functions with tuple as monoidal product.
discopy.matrix	The category of matrices with the direct sum as monoidal product.
discopy.tensor	The category of matrices with the Kronecker product as monoidal product.
discopy.stream	The feedback category of monoidal streams over a symmetric monoidal category.
discopy.interaction	The free compact category on a symmetric traced category, or more generally the free ribbon category on a balanced traced category.