SymmetricCategory

class discopy.abc.SymmetricCategory

Bases: BalancedCategory, Generic

A symmetric category is a BalancedCategory where the braid is its own inverse called swap for the symmetry x @ y -> y @ x.

abstract classmethod swap(left, right)

The swap of two objects, to be instantiated.

Parameters:

• left (T) – The object on the left of the swap.

• right (T) – The object on the right of the swap.

Return type:

SymmetricCategory