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