nLab
homotopy localization

Skip the Navigation Links | Home Page | All Pages | Recently Revised | Authors | Feeds | Export |

Context

Homotopy theory

Background

Variations

Definitions

Paths and cylinders

Homotopy groups

Theorems

Homotopy localisation

Idea

Given a site C equipped with an interval object *⨿*→[i 0,i 1]I the homotopy localization of an (∞,1)-category of (∞,1)-sheaves Sh ∞(C) on C is the (∞,1)-categorical localization of Sh ∞(C) at the morphisms of the form

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

Examples

Revised on January 14, 2011 13:40:19 by Urs Schreiber (89.204.137.108)
Edit | Back in time (9 revisions) | See changes | History | Views: Print | TeX | Source | Linked from: oriental, homotopy theory, anafunctor, groupoid cardinality, equivalence, infinity-groupoid, model category, simplicial set, simplicial category, category with weak equivalences, homotopy category, derived functor, cubical set, (infinity,1)-category, simplicial object, homotopy coherent category theory, homotopical category, category of fibrant objects, homotopical functor, model structure on topological spaces, simplicially enriched category, path space object, simplicial complex, interval object, fundamental category, Kan fibration, generalized universal bundle, simplicial T-complex, small object argument, homotopy hypothesis, fibration, simplicial group, simplicial identities, fundamental infinity-groupoid, directed homotopy theory, simplicial presheaf, homotopy limit, Grpd, SimpSet, van Kampen theorem, higher van Kampen theorem, homotopy pullback, homotopy type, Euler characteristic, join of simplicial sets, ASSet, T-complex, cubical T-complex, homotopy group, fundamental group, m-cofibrant space, Postnikov system, homotopy equivalence, weak homotopy equivalence, Waldhausen category, fundamental group of a topos, Thomason model structure, homotopy category of an (infinity,1)-category, mapping cone, cohomology, reduced suspension, differential forms on simplices, calculus of fractions, Eckmann-Hilton duality, simplicial homotopy, Eilenberg-Mac Lane space, Galois theory, weak inverse, simplicial skeleton, homotopy, model structure on presheaves of simplicial groupoids, suspension, singular simplicial complex, Kan fibrant replacement, (infinity,1)-categorical hom-space, anodyne morphism, stable homotopy theory, derivator, homotopy - contents, cochain on a simplicial set, n-truncated object of an (infinity,1)-category, A1-homotopy theory, thin homotopy, homotopy localization, infinitesimal interval object, Whitehead theorem, quasifibration, suspension object, cocylinder, Hurewicz cofibration, mapping cylinder, motivic cohomology, homotopy extension property, mapping cocone, Whitehead product, simplicial ring, cofibration, Euclidean-topological infinity-groupoid, Nisnevich site, automorphism infinity-group, primary homotopy operation, categorical homotopy groups in an (infinity,1)-topos, simplicial topological group, equivariant homotopy theory, test category, model structure on cubical sets, simplicial localization of a homotopical category, Calculus of fractions and homotopy theory, homotopy coherent diagram, clique, Ho(Top), proper homotopy theory, homotopy Kan extension, pointed derivator, two-out-of-six property, homotopy exact square, pullback in a derivator, nice simplicial topological space, geometric homotopy groups in an (infinity,1)-topos, homotopy equivalence of toposes, n-connected space, long exact sequence of homotopy groups, factorization lemma, augmented simplicial set, cosimplicial simplicial set, fundamental (infinity,1)-category, infinity-anafunctor, zigzag category, essential fiber, geometric realization of cohesive infinity-groupoids, chain homotopy, model structure on simplicial algebras, homotopy T-algebra, higher homotopy van Kampen theorem, cell complex, model structure on operator algebras, fundamental infinity-groupoid of a locally infinity-connected (infinity,1)-topos, van Kampen theorem for toposes, fundamental infinity-groupoid in a locally infinity-connected (infinity,1)-topos, product of simplices, Pi-algebra, spherical object, Boardman-Vogt resolution, Brown-Grossman homotopy group, localizing subcategory, classical triangulation, geometric realization of categories, Betti number, homotopy groups of a Lie groupoid, cohomology operation, two-out-of-three, Homotopy Limit Functors on Model Categories and Homotopical Categories, semi-simplicial set, homotopy type theory, Parametrized Homotopy Theory, looping, bisimplicial set, contents of contents, B1-homotopy theory, homotopy groups of spheres, Hurewicz theorem, function extensionality, coend in a derivator, univalence axiom, Simplicial homotopy theory, simplicial homotopy theory