Reference API
Notebooks
Extra
The Int construction, returns a ribbon category.
category (Category) – A balanced traced category.
Category
Example
>>> from discopy.ribbon import Ty as T, Diagram as D, Category >>> assert Int(Category(T, D)) == Category(Ty[T], Diagram[D])