Exercise 12.3.5. Given a symmetric monoidal category \(C\) with \(p\colon C \to \Fin \) satisfying (2’) and (3’), construct a colored operad \(\Oo \) and a symmetric monoidal equivalence \(C \iso \Env (\Oo )\) over \(\Fin \).

Generated from the authoritative LaTeX source.