Box

class discopy.pivotal.Box(name, dom, cod, data=None, z=0, **params)

Bases: discopy.rigid.Box, Diagram

A pivotal box is a rigid box in a pivotal diagram.

Parameters:

• name (str) – The name of the box.

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

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

property is_conjugate

Whether the box is a conjugate, i.e. the transpose of a dagger.