Box

Contents

Box#

class discopy.braided.Box(name, dom, cod, **params)[source]#

Bases: discopy.monoidal.Box, Diagram

A braided box is a monoidal box in a braided diagram.

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

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

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