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.