isEquivalenceOfCategories
2
triples
GPTKB property
Random triples
Subject | Object |
---|---|
gptkb:Dold–Kan_correspondence | simplicial abelian groups |
gptkb:Dold–Kan_correspondence | chain complexes of abelian groups in non-negative degrees |