3 ms·
Lenses: https://arxiv.org/pdf/2001.08045.pdf https://arxiv.org/pdf/2001.08045.pdf SDG: https://tildeweb.au.dk/au76680/NMOS.pdf https://tildeweb.au.dk/au76680/N
by consilient 3y ago
Lenses: https://arxiv.org/pdf/2001.08045.pdf https://arxiv.org/pdf/2001.08045.pdf
SDG: https://tildeweb.au.dk/au76680/NMOS.pdf https://tildeweb.au.dk/au76680/NMOS.pdf
HoTT (good luck): https://hott.github.io/book/hott-online-1404-g79e6d60.pdf https://hott.github.io/book/hott-online-1404-g79e6d60.pdf