Abstract Homotopy And Simple Homotopy TheoryWorld Scientific, 11 avr. 1997 - 472 pages The abstract homotopy theory is based on the observation that analogues of much of the topological homotopy theory and simple homotopy theory exist in many other categories (e.g. spaces over a fixed base, groupoids, chain complexes, module categories). Studying categorical versions of homotopy structure, such as cylinders and path space constructions, enables not only a unified development of many examples of known homotopy theories but also reveals the inner working of the classical spatial theory. This demonstrates the logical interdependence of properties (in particular the existence of certain Kan fillers in associated cubical sets) and results (Puppe sequences, Vogt's Iemma, Dold's theorem on fibre homotopy equivalences, and homotopy coherence theory). |
Table des matières
1 | |
II Homotopical Algebra | 76 |
III Case Studies | 145 |
IV Groupoid Enrichment and Track Homotopy | 253 |
V Homotopy Coherence | 307 |
VI Abstract Simple Homotopy Theories | 342 |
VII Injective Simple Homotopy Theories | 402 |
GLOSSARY OF TERMS FROM CATEGORY THEORY | 429 |
REFERENCES | 447 |
455 | |
Autres éditions - Tout afficher
Expressions et termes fréquents
abelian category abelian group abstract homotopy theory additive algebra axioms bijection category of cofibrant Ch(A chain complexes cocylinder cofibrant objects colimits commutative diagram composition construction coproduct corresponding cotensored crossed complexes cubical set defined Definition denote Dold's theorem double mapping cylinder dual enriched categories eo(X equivalence relation exact sequence example Exercise factorisation fibration filler finite functor fundamental groupoid given gives Grpd hence Ho(C homological algebra homotopy coherent homotopy commutative square homotopy equivalence homotopy inverse homotopy type induced isomorphism Lemma mapping cylinder module monomorphism morphism f natural transformation notation notion pair phism preserves pushouts Proof Proposition prove pullbacks pushout R-module relative injective Remark resp result S-category satisfies Simp Simp(A simple equivalence simple homotopy theory simplicial set split monomorphism stably cofree structure Suppose tensored Top(X topological spaces trivial cofibration weak equivalence