BraidedCategory

class discopy.abc.BraidedCategory

Bases: MonoidalCategory, Generic

A braided category is a MonoidalCategory with a method braid for the natural isomorphism x @ y -> y @ x.

abstract classmethod braid(left, right)

The braid of two objects, to be instantiated.

Parameters:

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

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

Return type:

BraidedCategory