Cap#

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

Bases: discopy.rigid.Cap, Box

A pivotal cap is a rigid cap of pivotal types.

Parameters

  • left (Ty) – The atomic type.

  • right (Ty) – Its adjoint.

dagger()[source]#

The dagger of a pivotal cap.

Return type

Cup