Diagram
Diagram#
- class discopy.braided.Diagram(inside, dom, cod, _scan=True)[source]#
Bases:
discopy.monoidal.Diagram
A braided diagram is a monoidal diagram with
Braid
boxes.- Parameters
inside (Layer) – The layers inside the diagram.
dom (monoidal.Ty) – The domain of the diagram, i.e. its input.
cod (monoidal.Ty) – The codomain of the diagram, i.e. its output.
- classmethod braid(left, right)[source]#
The diagram braiding
left
overright
.- Parameters
- Return type
Note
This calls
hexagon()
andbraid_factory
.