Ctrl+K

Diagram

Diagram#

class discopy.grammar.categorial.Diagram(inside, dom, cod, _scan=True)[source]#

Bases: discopy.closed.Diagram

A categorial diagram is a closed diagram with rules and words as boxes.

Parameters:

  • inside (tuple[Layer, ...]) –

  • dom (T) –

  • cod (T) –

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.

curry_factory#

alias of Curry

eval_factory#

alias of Eval

factory#

alias of Diagram

Contents