Diagram

class discopy.closed.Diagram(inside, dom, cod, _scan=True)

Bases: discopy.markov.Diagram, discopy.biclosed.Diagram, discopy.abc.ClosedCategory

A closed diagram is both a markov and a biclosed diagram.

A diagram applied to another post-composes their tensor with an Eval.

Parameters:

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

• dom (C0) –

• cod (C0) –

ob

alias of Ty

ar

alias of Diagram

braid_factory

alias of Swap

coeval_factory

alias of Coeval

copy_factory

alias of Copy

curry_factory

alias of Curry

eval_factory

alias of Eval

sum_factory

alias of Sum

trace_factory

alias of Trace