My research mainly concerns questions of logic, the foundations of mathematics and the philosophy of mathematics. It can be divided roughly into 3 overlapping fields: the philosophical scope and applications of categorical logic, the foundations of mathematics deriving from category theory and, lastly, the epistemology and ontology of contemporary mathematics.