nLab
Ho(Top)

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

Contents

Definition

By Ho(Top) one denotes the category which is the homotopy category of Top with respect to weak equivalences given

Depending on context here Top contains all topological spaces or is some subcategory of nice topological spaces.

The study of Ho(Top) was the motivating example of homotopy theory. Often Ho(Top) is called the homotopy category.

The simplicial localization of Top at the weak homotopy equivalences yields the (∞,1)-category of ∞-groupoids/homotopy types.

Compactly generated spaces

Let now Top denote concretely the category of compactly generated weakly Hausdorff spaces. And Let CW be the subcategory on CW-complexes. We have Ho(CW) whe=Ho(CW) he=Ho(CW).

There is a functor

Top→Ho(CW)Top \to Ho(CW)

that sends each topological space to a weakly homotopy equivalent CW-complex.

By the homotopy hypothesis-theorem Ho(CW) is equivalent for instance to the homotopy category Ho(sSet Quillen) of the standard model structure on simplicial sets.

Shape theory

The category Ho(Top) he can be studied by testing its objects with objects from Ho(CW). This is the topic of shape theory.

category: category

Revised on November 26, 2012 00:36:45 by Urs Schreiber (89.204.153.181)
Edit | Back in time (5 revisions) | See changes | History | Views: Print | TeX | Source | Linked from: oriental, homotopy theory, anafunctor, groupoid cardinality, Top, infinity-groupoid, monoid, 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, homotopical category, category of fibrant objects, deformation retract, homotopical functor, internal category, model structure on topological spaces, simplex, simplicially enriched category, path space object, horn, simplicial complex, interval object, fundamental category, Kan fibration, simplicial T-complex, small object argument, homotopy hypothesis, fibration, complete Segal space, 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, group object, 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, Eilenberg-Mac Lane space, loop 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, homotopy localization, spine, Whitehead tower, dendroidal set, Whitehead theorem, quasifibration, suspension object, cocylinder, Hurewicz cofibration, mapping cylinder, homotopy extension property, homotopy inverse, mapping cocone, internal infinity-groupoid, Whitehead product, simplicial ring, cofibration, automorphism infinity-group, primary homotopy operation, categorical homotopy groups in an (infinity,1)-topos, simplicial topological group, CW approximation, 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, geometric realization of simplicial topological spaces, augmented simplicial set, cosimplicial simplicial set, fundamental (infinity,1)-category, strict 2-groupoid, zigzag category, 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, KK-theory, 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, category object in an (infinity,1)-category, 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