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, infinity-groupoid, model category, simplicial set, simplicial category, category with weak equivalences, homotopy category, derived functor, cubical set, (infinity,1)-category, Kan complex, n-groupoid, simplicial object, quasi-isomorphism, homotopy coherent category theory, homotopical category, category of fibrant objects, deformation retract, homotopical functor, model structure on topological spaces, simplex, simplicially enriched category, path space object, horn, 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, homotopy 3-type, homotopy n-type, simplicial presheaf, homotopy limit, Grpd, SimpSet, van Kampen theorem, higher van Kampen theorem, homotopy pullback, homotopy 2-type, homotopy type, Euler characteristic, 1-groupoid, 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, shape theory, Thomason model structure, homotopy category of an (infinity,1)-category, derived category, mapping cone, cohomology, Reedy category, reduced suspension, generalized Reedy category, differential forms on simplices, calculus of fractions, associahedron, category of simplices, Eckmann-Hilton duality, Freudenthal suspension theorem, simplicial homotopy group, boundary of a simplex, simplicial homotopy, Eilenberg-Mac Lane space, Galois theory, generalized (Eilenberg-Steenrod) cohomology, weak inverse, simplicial skeleton, homotopy, homotopy (as an operation), model structure on presheaves of simplicial groupoids, H-space, 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, free groupoid, n-truncated object of an (infinity,1)-category, A-infinity-space, A1-homotopy theory, thin homotopy, homotopy localization, spine, infinitesimal interval object, Whitehead tower, dendroidal set, Whitehead theorem, quasifibration, suspension object, cocylinder, Hurewicz cofibration, mapping cylinder, motivic cohomology, homotopy extension property, homotopy inverse, mapping cocone, internal infinity-groupoid, 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, CW approximation, 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, decalage, clique, Ho(Top), proper homotopy theory, homotopy Kan extension, pointed derivator, zigzag, subdivision, two-out-of-six property, homotopy exact square, pullback in a derivator, nice simplicial topological space, geometric homotopy groups in an (infinity,1)-topos, infinite loop space, 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, strict 2-groupoid, 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, dendroidal homotopy coherent nerve, bisimplicial set, contents of contents, B1-homotopy theory, homotopy groups of spheres, suspension of a chain complex, Hurewicz theorem, homotopy level, function extensionality, coend in a derivator, univalence axiom, Bousfield lattice, Cartan-Eilenberg category, elegant Reedy category, Simplicial homotopy theory, simplicial homotopy theory, iterated loop space, Eilenberg subcomplex, model structure for infinity-groupoids, local fibration, reduced simplicial set, projective resolution, null homotopy, interval object in chain complexes, homotopy class, homotopy category of chain complexes, Ho(sSet), free resolution, n-connected map, homotopical structure on C*-algebras, h-groupoid, model topos, localization of model categories, model structure for homotopy n-types, Toda bracket, differential Galois theory, semi-simplicial object, core in a 2-category, relative category, Kan-Thurston theorem