matrix#

The category of matrices with the direct sum as monoidal product.

Summary#

`Matrix`	A matrix is an `array` with natural numbers as `dom` and `cod`.
`Backend`
`NumPy`
`JAX`
`PyTorch`
`TensorFlow`

Functions

`backend`
`get_backend`