semantics#
DisCoPy’s computational core: categories of functions, matrices and tensors.
The category of Python functions with tuple as monoidal product. |
|
The category of matrices with the direct sum as monoidal product. |
|
The category of matrices with the Kronecker product as monoidal product. |