PRO#
- class discopy.abc.PRO[source]#
Bases:
MonoidalCategory[Nat,C1],GenericA PRO is a
MonoidalCategorywhose objects are the natural numbersNat, i.e. the free monoidal category on one generator.
Bases: MonoidalCategory[Nat, C1], Generic
A PRO is a MonoidalCategory whose objects are the natural
numbers Nat, i.e. the free monoidal category on one generator.