>>I wish we had something akin to a mathematics monastery. I'm not talking about academia - that avenue clearly leads to financial enslavement at this point. I'

>>I wish we had something akin to a mathematics monastery. I'm not talking about academia - that avenue clearly leads to financial enslavement at this point. I'm talking about a place with lots of chalk boards and pretty basic room/board. As soon as you wrote that, Princeton's Institute for Advanced Study[1][2] sprang to mind. In 2012-2013 a bunch of mathematics professors got together to organize a research program, from which homotopy type theory[3] (HoTT) was born and a book[4] written to explain their monastic achievement! [1] https://www.ias.edu/ https://www.ias.edu/ [2] https://en.wikipedia.org/wiki/Institute_for_Advanced_Study https://en.wikipedia.org/wiki/Institute_for_Advanced_Study [3] https://www.ias.edu/idea-tags/homotopy-type-theory https://www.ias.edu/idea-tags/homotopy-type-theory [4] https://homotopytypetheory.org/book/ https://homotopytypetheory.org/book/