Corollary 17.1.13. Let \(\Oo \) be an \(\infty \)-operad. Then the inert and active morphisms define a factorization system on \(\Oo ^{\otimes }\).
Proof. This is an instance of Lemma 17.1.12 applied to the functor \(p_{\Oo }\colon \Oo ^{\otimes } \to \Span (\Fin )\), where we equip the target with the factorization system from Proposition 17.1.10. □
Generated from the authoritative LaTeX source.