Computational homology of \(n\)-types (Q438686)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Computational homology of \(n\)-types |
scientific article |
Statements
Computational homology of \(n\)-types (English)
0 references
31 July 2012
0 references
homology
0 references
\(n\)-types
0 references
crossed modules
0 references
simplicial groups
0 references