discopy.python.additive# The category of Python functions with disjoint union as monoidal product. Summary# Ty alias of tuple[type, ...] Function Python functions with disjoint union as tensor.