Sitemap
A list of all the posts and pages found on the site. For you robots out there, there is an XML version available for digesting as well.
Pages
Posts
Future Blog Post
Published:
This post will show up by default. To disable scheduling of future posts, edit config.yml and set future: false.
Blog Post number 4
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
Blog Post number 3
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
Blog Post number 2
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
Blog Post number 1
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
publications
Bundles of metric structures as left ultrafunctors
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.
Ultracategories as colax algebras for a pseudo-monad on CAT
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.
Generalised ultracategories and conceptual completeness of geometric logic
preprint
We introduce generalised ultracategories and use them to show a conceptual completeness theorem for geometric logic (infinitary coherent logic).
talks
teaching
Teaching assistant
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.