Bachelor thesis about the Dold-Kan correspondence
https://github.com/Jaxan/Dold-Kan
618 lines
35 KiB
618 lines
35 KiB