Ob

class discopy.rigid.Ob(name, z=0)

Bases: Ob

Implements simple pregroup types: basic types and their iterated adjoints.

>>> a = Ob('a')
>>> assert a.l.r == a.r.l == a and a != a.l.l != a.r.r

property z

Winding number

property l

Left adjoint

property r

Right adjoint