Login
From:
Homotopy Type Theory
(Uncensored)
subscribe
The Brunerie Number Is -2 | Homotopy Type Theory
https://homotopytypetheory.org/2022/06/09/the-brunerie-number-is-2/
links
backlinks
Roast topics
Find topics
Find it!
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 $latex n$ such that $latex \pi_4…
