nLab
homotopy localization

Homotopy localisation

Idea

Given a site CC equipped with an interval object *⨿*[i 0,i 1]I{*}\amalg {*} \stackrel{[i_0, i_1]}{\to}I the homotopy localization of an (∞,1)-category of (∞,1)-sheaves Sh (C)Sh_\infty(C) on CC is the (∞,1)-categorical localization of Sh (C)Sh_\infty(C) at the morphisms of the form

X×IX. X \times I \to X \,.

Examples

Revised on February 26, 2014 16:41:06 by Adeel Khan (108.40.108.250)