Category

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

Bases: discopy.monoidal.Category

A braided category is a monoidal category with a method braid.

Parameters:

• ob (type) – The objects of the category, default is Ty.

• ar (type) – The arrows of the category, default is Diagram.

ob

alias of Ty

ar

alias of Diagram