Id#

class discopy.biclosed.Id(dom=Ty())[source]#

Bases: Id, Diagram

Identity diagram in a biclosed monoidal category.