Reference API
Notebooks
Extra
Bases: discopy.closed.Category
discopy.closed.Category
A rigid category is a monoidal category with methods l, r, cups and caps.
l
r
cups
caps
ob (type) – The type of objects.
ar (type) – The type of arrows.
alias of Ty
Ty
alias of Diagram
Diagram