Ob#

class discopy.rigid.Ob(name, z=0)[source]#

Bases: discopy.cat.Ob

A rigid object has adjoints Ob.l() and Ob.r().

Parameters

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

  • z (int) – The winding number.

Example

>>> a = Ob('a')
>>> assert a.l.r == a.r.l == a and a != a.l.l != a.r.r
property l: discopy.rigid.Ob#

The left adjoint of the object.

property r: discopy.rigid.Ob#

The right adjoint of the object.