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.