Int

discopy.interaction.Int(category)

The Int construction, i.e. the free ribbon category on a given balanced traced category, with interaction.Ty as objects and interaction.Diagram as arrows.

Parameters:

category (TracedCategory) – A balanced traced category, i.e. an arrow type.

Return type:

RibbonCategory

Example

>>> from discopy.ribbon import Diagram as D
>>> assert Int(D) == Diagram[D]