discopy.python.additive

The category of Python functions with disjoint union as monoidal product.

Summary

Ty	Built-in immutable sequence.
Function	Python functions with disjoint union as tensor.