RigidCategory

RigidCategory#

class discopy.abc.RigidCategory[source]#

Bases: BiclosedCategory, Generic

A rigid category is a BiclosedCategory with a Pregroup as object type and methods for cups and caps.

abstract classmethod cups(left, right)[source]#

The cups witnessing right as the adjoint of left.

Parameters:

  • left (C0) – The left-hand side of the cups.

  • right (C0) – Its adjoint, i.e. the right-hand side of the cups.

Return type:

C1

abstract classmethod caps(left, right)[source]#

The caps witnessing right as the adjoint of left.

Parameters:

  • left (C0) – The left-hand side of the caps.

  • right (C0) – Its adjoint, i.e. the right-hand side of the caps.

Return type:

C1

Contents