Monthly Archives: June 2022

Since being introduced to HoTT around 3 years ago, I have, like so many others before me, developed a healthy(?) obsession with the Brunerie number (i.e. the number such that , as defined in Guillaume Brunerie’s PhD thesis). Over the … Continue reading →