About Me
I am a PhD student in Category Theory at the University of Cambridge, under the supervision on Professor Marcelo Fiore. My broad research interests are in Categorical Logic and Categorical Algebra.
Publications
- A Finite Algebraic Presentation of Lawvere Theories in the Object-Classifier Topos, Marcelo Fiore and Sanjiv Ranchod, in press. arXiv