non-abelian Dold–Kan correspondence

GPTKB entity