The cocycle category H(X, Y) is defined for objects X and 7 in a model category, and it is shown that the set of homotopy category morphisms [X, Y] is isomorphic to the set of path components of H(X, Y), provided that the ambient model category is right proper, and if weak equivalences are closed under finite products. Various applications of this result are displayed, including the homotopy classification of torsors, abelian sheaf cohomology groups, group extensions and gerbes. The older classification results have simple new proofs involving canoni-cally defined cocycles. Cocycle methods are also used to show that the algebraic K-theory presheaf of spaces is a simplicial stack associated to a suitably defined parabolic groupoid. © Springer-Verlag Berlin Heidelberg 2009.
CITATION STYLE
Jardine, J. F. (2009). Cocycle categories. In Algebraic Topology: The Abel Symposium 2007 - Proceedings of the 4th Abel Symposium (pp. 185–218). https://doi.org/10.1007/978-3-642-01200-6_8
Mendeley helps you to discover research relevant for your work.