Ultractegories as algebras for the ultracompletion pseudo-monad.
Talk, University of Turin, Online
Talks and presentations
Bundles of metric structures as left ultrafunctors.
Talk, Ontario Graduate Math Conference, University of Waterloo, Waterloo, Ontario, Canada
Two talks on the syntactic site , and the classifying topos of a geometric theory.
Talk, Reading Seminar, University of Ottawa
Bundles of complete metric spaces and related structures.
Talk, Logic seminar, University of Ottawa, Online