...joined 3 years ago, and has 14 karma
submissions / comments / favourites
Mathematician working in topos theory.