Profile Image

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.

Papers

Substructural Abstract Syntax with Variable Binding and Single-Variable Substitution

with Marcelo Fiore

Proceedings of Fortieth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) , In press.

2025

A Finite Algebraic Presentation of Lawvere Theories in the Object-Classifier Topos

with Marcelo Fiore

Theory and Applications of Categories

2025

Talks & Posters

Substitution for Substrutural Theories

Contributed Talk at International Category Theory Conference (CT2025)

Upcoming, 2025

Substructural Abstract Syntax with Variable Binding and Single-Variable Substitution

Contributed Talk at Fortieth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)

2025

Substitution for Linear-Cartesian and Full Substructural Theories

Invited Talk at ItaCa Fest

2025

Category Theoretic Models of Substitution for Substructural Theories

Seminar Talk at The Stockholm Logic Seminar

2025

Mixed Linear-Cartesian Theories as Substitution Monoids

Seminar Talk at SANDWICH Seminar, Cambridge CST

2024

Lawvere Theories and Symmetric Operads as Substitution Algebras: Free constructions for Abstract Syntax

Contributed Talk at International Category Theory Conference (CT2024)

2024

A New Approach to Abstract Syntax with Variable Binding for Cartesian Theories

Seminar Talk at Junior Category Theory Seminar, UCLouvain

2024

Internal Factorisation Systems

Contributed Talk at Topology, Algebra and Categories in Logic (TACL)

2022