Wire

Contents

Wire#

class discopy.biclosed.Wire(name, dom=monoidal.Colour('white'), cod=monoidal.Colour('white'), is_dagger=False)[source]#

Bases: discopy.monoidal.Wire

A biclosed object is a self-dagger monoidal.Wire, i.e. its left and right colours always match. Exponentials do not interact meaningfully with colours, so for now we assume everything is white.

Parameters: