Derived functors and the homology of \(n\)-types (Q1858237)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Derived functors and the homology of \(n\)-types |
scientific article |
Statements
Derived functors and the homology of \(n\)-types (English)
0 references
12 February 2003
0 references
A homotopy \(n\)-type is a connected CW-complex whose homotopy groups are trivial above dimension~\(n\). Homotopy \(n\)-types can be modelled by \(\text{ cat}^{n-1}\)-groups or, equivalently, by crossed \((n-1)\)-cubes. In this paper the authors show that the homology groups of an \(n\)-type~\(X\) can be expressed as derived functors of an abelianisation functor on crossed \((n-1)\)-cubes. They also obtain a Hopf-type formula for \(H_n(X)\).
0 references
homotopy n-type
0 references
\(\text{cat}^n\)-group
0 references
crossed n-cube
0 references
abelianisation
0 references