Ob

Contents

Ob#

class discopy.biclosed.Ob(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:

  • name (str) –

  • dom (Colour) –

  • cod (Colour) –

  • is_dagger (bool) –

Contents