Reference API
Notebooks
Extra
Bases: BinaryBoxConstructor, Box
BinaryBoxConstructor
Box
The unit of the adjunction for an atomic type.
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')
The dagger of a rigid cap is ill-defined, use a pivotal.Cap instead.
pivotal.Cap