Abstract
We show that three different kinds of cohomologies - Baues-Wirsching cohomology, the (S*,O)-cohomology of Dwyer and Kan, and the André-Quillen cohomology of a. Π-algebra - are isomorphic, under certain assumptions. This is then used to identify the cohomological obstructions in three general approaches to realizability problems: the track category version of Baues and Wirsching, the diagram rectifications of Dwyer, Kan, and Smith, and the Π-algebra realization of Dwyer, Kan, and Stover. Our main tool in this identification is the notion of a mapping algebra: a simplicially enriched version of an algebra over a theory.
Original language | American English |
---|---|
Pages (from-to) | 1420-1439 |
Number of pages | 20 |
Journal | Journal of Pure and Applied Algebra |
Volume | 215 |
Issue number | 6 |
DOIs | |
State | Published - Jun 2011 |
Keywords
- Primary
- Secondary
All Science Journal Classification (ASJC) codes
- Algebra and Number Theory