Author Archives: Axel Ljungström

The Brunerie Number Is -2

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

Posted in Uncategorized | 3 Comments