Axiom K (Existence of localizations). Let \(C\) be an \(\infty \)-category, and let \(W \hookrightarrow \Map ([1],C)\) be a collection of morphisms in \(C\). Then there exists a localization \(l\colon C \to C[W^{-1}]\) of \(C\) at \(W\).
Generated from the authoritative LaTeX source.