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 (Category) – A balanced traced category.

Return type:

Category

Example

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