Diagram

Diagram#

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

Bases: discopy.monoidal.Diagram, discopy.abc.BiclosedCategory

A biclosed diagram is a monoidal diagram with Curry and Eval boxes.

Parameters:

  • inside (Layer) – The layers inside the diagram.

  • dom (Ty) – The domain of the diagram, i.e. its input.

  • cod (Ty) – The codomain of the diagram, i.e. its output.

ob#

alias of Ty

curry(n=1, left=False)[source]#

Wrapper around Curry called by Functor.

Parameters:

  • n – The number of atomic types to curry.

  • left – Whether to curry on the left or right.

Return type:

Diagram

classmethod ev(base, exponent, left=False)[source]#

Wrapper around Eval called by Functor.

Parameters:

  • base (Ty) – The base of the exponential type to evaluate.

  • exponent (Ty) – The exponent of the exponential type to evaluate.

  • left – Whether to evaluate on the left or right.

Return type:

Eval

uncurry(left=False)[source]#

Uncurry a biclosed diagram by composing it with Diagram.ev().

Parameters:

  • left – Whether to uncurry on the left or right.

  • self (Diagram) –

Return type:

Diagram

ar#

alias of Diagram

coeval_factory#

alias of Coeval

curry_factory#

alias of Curry

eval_factory#

alias of Eval

exp#

alias of Exp

over#

alias of Over

sum_factory#

alias of Sum

under#

alias of Under

Contents