Key lemma and universal localization
Abstract.
We study localizations of -categories which remain localizations after any base change.
1. Key lemma
Recall the following Key lemma presented in [H.L], 1.3.6. The Key lemma served a convenient tool in proving the equivalence of various descriptions of the -category underlying a model category, see [H.L], 1.3.4, 1.3.5, 1.3.7.
1.1 Lemma.
Let be a functor between conventional categories satisfying the following property (P).
-
(P)
For any the category of sections is weakly contractible.
Then induces an equivalence
where denotes the (-categorical) localization.
In this note we generalize this result in several directions.
1.2. Localization
In this note we will use the word “category” to denote -categories; the categories in the traditional sense are called the conventional categories. We denote by the category of spaces and by the category of categories. Recall that the full embedding admits a left adjoint
called the full localization. A functor is called a weak equivalence if is an equivalence. A category is weakly contractible if is contractible.
More generally, one defines the category of marked categories consisting of pairs where is a subcategory of (its arrows are called marked arrows). Then localization
is the functor left adjoint to the obvious functor .
We start with a very special case of the result.
1.3 Lemma.
Let be a cocartesian fibration. The fibers of are weakly contractible if and only if induces an equivalence
Proof.
Let us say that an arrow in is marked if carries it to an equivalence in . With this definition becomes a marked cocartesian fibration in the sense of [H.L], 2.1.1, so that Proposition 2.1.4 of [H.L] can be applied. This yields a left fibration
It is an equivalence if and only if its fibers are contractible. ∎
1.4. Rezk nerve
Let be a marked category. The Rezk nerve , see [MG], 3.1, is the simplicial space defined by the formula
where is the subcategory of having the same objects and spanned by the arrows that are pointwise in . By Theorem 3.8 of [MG] the complete Segal replacement of represents the localization .
Let now be a functor. We denote by the subcategory of spanned by the arrows sent by to equivalences.
The category is the base change of with respect to the embedding .
Applying Lemma 1.3 to the functor , we deduce the following more general version of Key lemma.
1.5 Lemma.
Let be a functor satisfying the above mentioned property (P) for any . Then induces an equivalence
∎
Our next step is to show that the property (P) is equivalent to a weaker property
-
For all with the category is weakly contractible.
1.6 Proposition.
The properties (P) and for a functor are equivalent.
Proof.
Let be given (up to equivalence) by a sequence