Cap#

class discopy.rigid.Cap(left, right)[source]#

Bases: BinaryBoxConstructor, Box

The unit of the adjunction for an atomic type.

Parameters:

  • left (Ty) – The atomic type.

  • right (Ty) – Its left adjoint.

Example

>>> n = Ty('n')
>>> Cap(n, n.l).draw(figsize=(2,1), margins=(0.5, 0.05),\
... path='docs/_static/rigid/cap.png')
../_images/cap.png
dagger()[source]#

The dagger of a rigid cap is ill-defined, use a pivotal.Cap instead.