Int

discopy.interaction.Int(category)

The Int construction, returns a ribbon category.

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])