RigidCategory

class discopy.abc.RigidCategory

Bases: BiclosedCategory, Generic

A rigid category is a BiclosedCategory where every object has a left and right adjoint, witnessed by methods cups and caps.

abstract classmethod cups(left, right)

The cups witnessing right as the adjoint of left.

Parameters:

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

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

Return type:

RigidCategory

abstract classmethod caps(left, right)

The caps witnessing right as the adjoint of left.

Parameters:

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

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

Return type:

RigidCategory