Box#

class discopy.frobenius.Box(name, dom, cod, data=None, z=0, **params)[source]#

Bases: discopy.compact.Box, Diagram

A frobenius box is a compact box in a frobenius 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.