Category

Category#

class discopy.pivotal.Category(ob=None, ar=None)[source]#

Bases: discopy.rigid.Category

A pivotal category is a rigid category where left and right adjoints coincide.

Parameters: ob : The type of objects. ar : The type of arrows.

Parameters:
  • ob (type) –

  • ar (type) –

ob#

alias of Ty

ar#

alias of Diagram