Category

class discopy.rigid.Category(ob=None, ar=None)

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