Wire

class discopy.pivotal.Wire(name, z=0, dom=monoidal.Colour('white'), cod=monoidal.Colour('white'))

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)

• cod (monoidal.Colour)

dagger()

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