I’m Stuart Presnell, and I work at the Philosophy department at the University of Bristol. From 2013 to 2016 I worked on a research project investigating some philosophical issues related to Homotopy Type Theory, which prompted me to try to get a proper understanding of topos theory.
sengi 