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