ZxJx

430
reputation

Aiming to have enough background to read and digest Tohoku, HoTT, nCatlab, Milnor, Chern.