PROP#
- class discopy.abc.PROP[source]#
Bases:
PROB,SymmetricCategory[Nat,C1],GenericA PROP is a
SymmetricCategorywhose objects are the natural numbersNat, i.e. the free symmetric category on one generator.
Bases: PROB, SymmetricCategory[Nat, C1], Generic
A PROP is a SymmetricCategory whose objects are the natural
numbers Nat, i.e. the free symmetric category on one generator.