Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
I'm a mathematician deeply interested in foundations (logic, set theory, model theory, metamathematics) and category theory (especially categorical logic). I'm currently an associate professor at University of la Réunion in Saint-Denis, Réunion (Indian Ocean) - France.
