Category#

class discopy.rigid.Category(ob=None, ar=None)[source]#

Bases: discopy.closed.Category

A rigid category is a monoidal category with methods l, r, cups and caps.

Parameters

  • ob (type) – The type of objects.

  • ar (type) – The type of arrows.

ob#

alias of Ty

ar#

alias of Diagram