nLab
simplicial homotopy theory

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

Idea

Simplicial homotopy theory is the study of homotopy theory by means of simplicial sets, but also the study of those properties of simplicial sets detectable by means of techniques adapted from topological homotopy theory.

References

Revised on August 31, 2012 17:25:42 by Tim Porter (95.147.237.204)
Edit | Back in time (3 revisions) | See changes | History | Views: Print | TeX | Source | Linked from: Timeline of category theory and related mathematics, oriental, homotopy theory, anafunctor, groupoid cardinality, infinity-groupoid, model category, simplicial set, category with weak equivalences, homotopy category, derived functor, cubical set, (infinity,1)-category, Kan complex, n-groupoid, simplicial object, quasi-isomorphism, category of fibrant objects, deformation retract, 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, 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, cubical T-complex, homotopy group, fundamental group, Postnikov system, homotopy equivalence, weak homotopy equivalence, Waldhausen category, fundamental group of a topos, shape theory, Thomason model structure, homological algebra, derived category, mapping cone, Reedy category, 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, Galois theory, generalized (Eilenberg-Steenrod) cohomology, simplicial skeleton, homotopy, homotopy (as an operation), 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, spine, Whitehead tower, dendroidal set, Whitehead theorem, suspension object, cocylinder, mapping cylinder, homotopy inverse, internal infinity-groupoid, simplicial ring, automorphism infinity-group, CW approximation, Calculus of fractions and homotopy theory, decalage, Ho(Top), proper homotopy theory, homotopy Kan extension, pointed derivator, zigzag, subdivision, geometric homotopy groups in an (infinity,1)-topos, infinite loop space, n-connected space, factorization lemma, augmented simplicial set, fundamental (infinity,1)-category, strict 2-groupoid, zigzag category, chain homotopy, model structure on simplicial algebras, cell complex, model structure on operator algebras, van Kampen theorem for toposes, Pi-algebra, Boardman-Vogt resolution, geometric realization of categories, Betti number, cohomology operation, two-out-of-three, semi-simplicial set, homotopy type theory, Parametrized Homotopy Theory, looping, dendroidal homotopy coherent nerve, bisimplicial set, contents of contents, homotopy groups of spheres, suspension of a chain complex, Hurewicz theorem, homotopy level, 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, simplicial object in an (infinity,1)-category, 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