homotopy theory, (∞,1)-category theory, homotopy type theory
flavors: stable, equivariant, rational, p-adic, proper, geometric, cohesive, directed…
models: topological, simplicial, localic, …
see also algebraic topology
Introductions
Definitions
Paths and cylinders
Homotopy groups
Basic facts
Theorems
A cosimplicial simplicial set is a cosimplicial object in the category of simplicial sets, hence a functor
which equivalently is a functor
There is an evident model category structure on which models cosimplicial infinity groupoids.
There are several standard ways to equip with the structure of a model category. See model structure on cosimplicial simplicial sets for more.
The homotopy groups of the totalization of a cosimplicial homotopy type are computed by a Bousfield-Kan spectral sequence. The homology groups by an Eilenberg-Moore spectral sequence.
The standard reference is
Chapter X of
The homotopy spectral sequence for cosimplicial spaces is in chapter VIII.
Rick Jardine, Cosimplicial spaces and cocycles (pdf)
Thomas Goodwillie, A remark on the homology of cosimplicial spaces , Journal of Pure and Applied Algebra Volume 127, Issue 2, 15 May 1998, Pages 167-175
Last revised on June 11, 2022 at 16:45:36. See the history of this page for a list of all contributions to it.