Category

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.

ob#

alias of Ty

ar#

alias of Diagram