Bachelor thesis about the Dold-Kan correspondence
https://github.com/Jaxan/Dold-Kan
You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
Joshua Moerman
215c82bc9a
|
12 years ago | |
---|---|---|
.. | ||
images | 12 years ago | |
presentation.tex | 12 years ago | |
symbols.tex | 12 years ago |