Pure mathematician interested in category theory and foundations.