Int

Contents

Int#

discopy.interaction.Int(category)[source]#

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