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