Diagram#

class discopy.biclosed.Diagram(dom, cod, boxes, offsets, layers=None)[source]#

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