discopy.python.additive# The category of Python functions with disjoint union as monoidal product. Summary# Function Python functions with disjoint union as tensor.