Full Subcategory: PROP ⊊ CPROP

PROP is a full subcategory of CPROP. When any two colored monoidal product & permutation categories of CPROP are monoidal product & permutation categories in PROP, all eso strict monoidal functors between them are eso strict monoidal functors in PROP too. Put another way, PROP has only some of the objects of CPROP, but all of the arrows.

In terms of stuff, structure, and properties, monoidal product & permutation categories are like colored monoidal product & permutation categories but with extra properties.

full_subcategories: PROP, CPROP

This data as json