Cocycle categories
J. F. Jardine
Abstract
A cocycle category H(X,Y) is defined for objects X and Y in a model category, and it is shown that the set of morphisms [X,Y] is isomorphic to the set of path components of H(X,Y) provided the ambient model category is right proper and satisfies the extra condition that weak equivalences are closed under finite products. Various applications of this result are displayed, including the homotopy classification of torsors, abelian cohomology groups, group extensions and gerbes. The older classification results have simple new proofs involving canonically defined cocycles.
Create a lesson
Related papers
Koszul duality and Morita categories
Max Blans
Persistence Meets Resistance: Doubling Down on Hardness
Benedikt Kolbe, Tim Mayr
On orientability, Poincaré duality, and connectivity of GKM graphs
Oliver Goertsches, Panagiotis Konstantis, Leopold Zoller
Local Bousfield classes via homological support
Tobias Barthel, Natalia Castellana, Drew Heard et al.
Coordinate-Deletion Bundles from Composition Algebras: Hopf Defects, KO-Classes, and Real Projective Space
Marina Palaisti
The product rule in Goodwillie calculus
Max Blans, Thomas Blom