Bases: Diagram
Diagrams in a biclosed monoidal category.
-
static fa(left, right)[source]
Forward application.
-
static ba(left, right)[source]
Backward application.
-
static fc(left, middle, right)[source]
Forward composition.
-
static bc(left, middle, right)[source]
Backward composition.
-
static fx(left, middle, right)[source]
Forward crossed composition.
-
static bx(left, middle, right)[source]
Backward crossed composition.
-
static curry(diagram, n_wires=1, left=False)[source]
Diagram currying.
-
id
alias of Id