Wire

Contents

Wire#

class discopy.pivotal.Wire(name, z=0, dom=None, cod=None)[source]#

Bases: discopy.rigid.Wire

A pivotal object is a rigid object where left and right adjoints coincide.

Parameters:

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

  • z (bool) – Whether the object is an adjoint or not.

  • dom (monoidal.Colour | None)

  • cod (monoidal.Colour | None)

dagger()[source]#

The dagger of a pivotal object coincides with its left and right adjoints, i.e. it flips the parity of the winding number z and swaps its domain and codomain colours.

Return type:

Wire

Contents