Box

class discopy.rigid.Box(name, dom, cod, **params)

Bases: Box, Diagram

Implements generators of rigid monoidal diagrams.

>>> a, b = Ty('a'), Ty('b')
>>> Box('f', a, b.l @ b, data={42})
Box('f', Ty('a'), Ty(Ob('b', z=-1), 'b'), data={42})