Category#
- class discopy.symmetric.Category(ob=None, ar=None)[source]#
Bases:
discopy.balanced.Category
A symmetric category is a balanced category with a method
swap
.- Parameters:
ob (type) – The objects of the category, default is
Ty
.ar (type) – The arrows of the category, default is
Diagram
.