Reference API
Notebooks
Extra
Bases: discopy.closed.Diagram
discopy.closed.Diagram
A categorial diagram is a closed diagram with rules and words as boxes.
inside (tuple[Layer, ...]) –
dom (T) –
cod (T) –
Forward application.
Backward application.
Forward composition.
Backward composition.
Forward crossed composition.
Backward crossed composition.
alias of Curry
Curry
alias of Eval
Eval
alias of Diagram
Diagram