PivotalCategory#
- class discopy.abc.PivotalCategory[source]#
Bases:
RigidCategory,TracedCategory,GenericA pivotal category is a
RigidCategorywhere the left and right adjoints coincide, hence it is also aTracedCategory.
Bases: RigidCategory, TracedCategory, Generic
A pivotal category is a RigidCategory where the left and right
adjoints coincide, hence it is also a TracedCategory.