semantics

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

discopy.python	Categories of Python functions.
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.hopf	The ribbon category of representations of a finite-dimensional Hopf algebra.
discopy.stream	The feedback category of monoidal streams over a symmetric monoidal category.
discopy.para	The category of parametric maps over a symmetric underlying category.
discopy.interaction	The free compact category on a symmetric traced category, or more generally the free ribbon category on a balanced traced category.