Id

class discopy.rigid.Id(dom=Ty())

Bases: Id, Diagram

Define an identity arrow in a free rigid category

>>> t = Ty('a', 'b', 'c')
>>> assert Id(t) == Diagram(t, t, [], [])