4 ms·
Any recommendation for a (short) introduction to HoTT for a working mathematician?
by k0k0r0 4y ago
Any recommendation for a (short) introduction to HoTT for a working mathematician?
- Koshkin 4y agoThis comes to mind: https://math.uchicago.edu/~may/REU2015/REUPapers/Macor.pdf https://math.uchicago.edu/~may/REU2015/REUPapers/Macor.pdf
- k0k0r0 4y agoThank you very much!
- black_knight 4y agoAwodey has a shortish introduction here: https://arxiv.org/abs/1701.02024 https://arxiv.org/abs/1701.02024