ClosedCategory#
- class discopy.abc.ClosedCategory[source]#
Bases:
BiclosedCategory,MarkovCategory,GenericA closed category is a symmetric
BiclosedCategory. We also assume it comes with copy and discard so it is also aMarkovCategory.
Bases: BiclosedCategory, MarkovCategory, Generic
A closed category is a symmetric BiclosedCategory. We also assume
it comes with copy and discard so it is also a MarkovCategory.