BalancedCategory

class discopy.abc.BalancedCategory

Bases: BraidedCategory, TracedCategory, Generic

A balanced category is a BraidedCategory and a TracedCategory with a method twist for the natural automorphism x -> x.

abstract classmethod twist(dom)

The twist on an object, to be instantiated.

Parameters:

dom (C0) – The object on which to take the twist.

Return type:

C1