Category#
- class discopy.balanced.Category(ob=None, ar=None)[source]#
Bases:
discopy.braided.Category,discopy.traced.CategoryA 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.