A 2-categorical proof of Frobenius for fibrations defined from a generic point
Published in , 2022
Joint work with Emily Riehl
Publications
Kripke-Joyal forcing for type theory and uniform fibrations
Published in Submitted to Advances in Mathematics, 2021
Joint work 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