The Dold-ThomKan correspondence says essentially that simplicial abelian groups and nonnegative chain complexes of abelian groups are equivalent objects. While this is a very natural statement, I am not aware of any serious applications of it. Does anyone know any?
Became Hot Network Question