A 2-categorical proof of Frobenius for fibrations defined from a generic point
Published in Mathematical Structures in Computer Science, 2024
with Emily Riehl
Publications
Kripke-Joyal forcing for type theory and uniform fibrations
Published in Selecta Mathematica, Volume 30, No. 7, 2024
with Steve Awodey and Nicola Gambino
Fibration of contexts beget fibrations of toposes
Published in Theory and Application of Categories (TAC), 2020
Joint with Steve Vickers
PhD Thesis
Published in University of Birmingham (UK), 2019
Under supervision of Steve Vickers