Hi there, my name is Sanjiv and welcome to my academic webpage! A bit about me...
I am a PhD student in Category Theory at the University of Cambridge (United Kingdom) as a Gates Cambridge Scholar, under the supervision of Professor Marcelo Fiore. My broad research interests are in Categorical Logic and Categorical Algebra.
More specifically, I am currently working on category theoretic models of substructural theories — such as Lawvere theories and symmetric operads — as substitution algebras and substitution monoids, generalisations of species of structure, and abstract syntax of binding and second-order theories. I often make use of aspects of symmetric monoidal- and 2-category theory. I also work on internal category theory in the context of categorical algebra.
Previously, I completed my BSc, Honours and Masters degrees at the University of Cape Town (South Africa) under the supervision of Professor George Janelidze during which I spent a year at Université Catholique de Louvain (Belgium) under the supervision of Professor Marino Gran.
with Marcelo Fiore
Proceedings of Fortieth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) , In press.
2025
with Marcelo Fiore
Theory and Applications of Categories
2025
Contributed Talk at International Category Theory Conference (CT2025)
Upcoming, 2025
Contributed Talk at Fortieth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
2025
Seminar Talk at The Stockholm Logic Seminar
2025
Seminar Talk at SANDWICH Seminar, Cambridge CST
2024
Contributed Talk at International Category Theory Conference (CT2024)
2024
Seminar Talk at Junior Category Theory Seminar, UCLouvain
2024