preprint
We explore a new class of ultrcategories, those of complete metric structures, which can be better understood in the framework of continuous model theory, introddcing the notion of bundles of models, and showing it corresponds to a certain class of left ultrafunctors, this notion reduces to already known notions, like Banach bundles and Hilbert bundles.
preprint
We show a result inspired by a conjecture by Shulman, stating that ultracategories as defined by Lurie, are colax algebras for a pseudomonad on the category of categories.
preprint
We introduce generalised ultracategories and use them to show a conceptual completeness theorem for geometric logic (infinitary coherent logic).
Departement of Mathematics and Statistics, University of Ottawa, 2021
Teaching assistant for multiple courses at the university of Ottawa, also offering aid to students at the Math help centre.