Example 12.3.4. The envelope \(\Env (\Comm )\) of the commutative operad is the category \(\Fin \) of finite sets. The symmetric monoidal structure is given by disjoint union.

Generated from the authoritative LaTeX source.