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.