Assertion: finite abelian group | /r/HasProperty | identified with a chain complex
Facets:
Source sentences:
text: Kan correspondence says that a simplicial abelian group may be identified with a chain complex.
text: Kan correspondence says that a simplicial abelian group may be identified with a chain complex.