Diagram

Diagram#

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

Bases: discopy.biclosed.Diagram

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

Parameters:

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

  • dom (C0)

  • cod (C0)

ob#

alias of Ty

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

functor_factory#

alias of Functor

Contents