Categorical homotopy theory
In the mid 1970s Grothendieck wrote a series of letters to Larry Breen outlining a theory of stacks of homotopy types. These stacks can be thought of as the homotopy coherent analogues of sheaves and his ideas amounted to a conjecture that the Galois-Poincaré correspondence between \(\pi_1X\)-sets and covering spaces over \(X\), should have an analogue in higher dimensions. In about 1983, Grothendieck started a correspondence with Ronnie Brown and the reviewer in which these earlier ideas, and much more, were developed in a 650 page manuscript. A key idea was to find `test categories' and `modelisers', these were to give categories of models for homotopy types, generalising simplicial sets in a way so as to gain extra geometric intuition on what information was encoded in a homotopy type. This correspondence, which will shortly be available in Latexed form, contained quite a detailed, but informal, discussion of these modelisers, but with few proofs given in detail. These ideas were influential `behind the scenes' for 15 years, but it was \textit{D.-C. Cisinski}'s thesis [Université de Paris 7 (2002)] that explored the fine detail and pushed the theory considerably further. The paper under review provides an excellent exposition of these ideas in the context of \(\mathcal{A}\)-sheaves, where \(\mathcal{A}\) is an arbitrary test category in the sense of Grothendieck. The point of the exposition is not just to make available the ideas and methods of Cisinski's interpretation and extension of Grothendieck, but to apply them to cubical sets and thence, for possible future development, to motivic homotopy. (This latter was another of the ideas developed initially by Grothendieck in that 650 page correspondence \textit{cum} manuscript of 1983.)
- Liftings in categorical homotopy
- Descent theory and mapping spaces
- A co-reflection of cubical sets into simplicial sets with applications to model structures
- Computing path categories of finite directed cubical complexes
- The Bongartz's theorem on the homotopy category
- Homology groups of cubical sets
- Mathematical models of abstract systems: knowing abstract geometric forms
- Fibred sites and stack cohomology
- Crossed complexes and higher homotopy groupoids as noncommutative tools for higher dimensional local-to-global problems
- Two-track categories
- COSIMPLICIAL SPACES AND COCYCLES
- Grothendieck's homotopy theory
- Internal Categorical Structures in Homotopical Algebra
- Presheaves as models for homotopy types
- A category theoretical background for homomorphism theorems
- Higher homotopy operations and cohomology
- scientific article; zbMATH DE number 165317 (Why is no real title available?)
- Higher order derived functors and the Adams spectral sequence
- scientific article; zbMATH DE number 510716 (Why is no real title available?)
- The de Rham homotopy theory and differential graded category
- The Homotopy Theory of (∞,1)-Categories
- scientific article; zbMATH DE number 898058 (Why is no real title available?)
- scientific article; zbMATH DE number 922683 (Why is no real title available?)
- Pursuing stacks. Volume I. Edited by Georges Maltsiniotis
- Cubical model categories and quasi-categories
- The dendroidal category is a test category
- scientific article; zbMATH DE number 2200187 (Why is no real title available?)
- Symmetric cubical sets
- Localization of enriched categories and cubical sets
- Homotopy coherent category theory
- Homotopy theory of cyclic presheaves
- Simplicial sets inside cubical sets
- Induced model structures for higher categories
- Homotopy ends and Thomason model categories
- A Thomason model structure on the category of small \(n\)-fold categories
- Cubical models of higher categories without connections
- Fusion categories and homotopy theory
- Homotopy groups of cubical sets
- Surface holonomy for non-Abelian 2-bundles via double groupoids
- Cubical models of (, 1)-categories
- Symmetry in the cubical Joyal model structure
- A cubical model for (, n)-categories
- Representability theorems for presheaves of spectra
- Cubical models of -presheaves and the Bousfield-Kan formula
- On cellularization for simplicial presheaves and motivic homotopy
This page was built for publication: Categorical homotopy theory
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2575129)
