A few localisation theorems (Q2642400)

Let \(T:{\mathcal C}\rightarrow {\mathcal D}\) be a functor and \(S\subset {\mathcal C},S^{\prime }\subset{\mathcal D}\) two classes of morphisms containing identities and stable under composition, such that \(T(S)\subseteq S^{\prime }.\) This induces the functor \(\overline{T} :S^{-1}{\mathcal C}\rightarrow S^{\prime -1}{\mathcal D},\) where \(P:{\mathcal C}\rightarrow S^{-1}{\mathcal C},Q:{\mathcal D}\rightarrow S^{\prime ^{{}}-1}{\mathcal D}\) are localization functors. In this note, the author offer an answer to the following question: Give sufficient conditions for \(\overline{T}\) to be an equivalence of categories. The answer, Theorem 2.1, is in the spirit of \textit{D. Quillen}'s Theorem A [see Lect. Notes Math. 341, 85--147 (1973; Zbl 0292.18004)]: in the above situation, forgetting \(S\) and \(S^{\prime },\) if for all \(d\in {\mathcal D}\) the category \( d\backslash T\) is \(\infty\)-connected, then \(T\) is a weak equivalence.