Cap#
- class discopy.compact.Cap(left, right)[source]#
Bases:
discopy.ribbon.Cap,BoxA compact cap is a ribbon cap in a compact diagram.
- Parameters:
left (pivotal.Ty) – The atomic type.
right (pivotal.Ty) – Its adjoint.
Bases: discopy.ribbon.Cap, Box
A compact cap is a ribbon cap in a compact diagram.
left (pivotal.Ty) – The atomic type.
right (pivotal.Ty) – Its adjoint.