Bundles of metric structures as left ultrafunctors
Abstract
We pursue the study of Ultracategories initiated by Makkai, and more recently Lurie, by looking at properties of Ultracategories of complete metric structures, i.e. coming from continuous model theory, instead of ultracategories of models of first-order theories. Our main result is that for any continuous theory T , there is an equivalence between the category of left ultrafunctors from a compact Hausdorff space X to the category of T -models and a notion of bundle of T -models over X . The notion of bundle of T -models is new but recovers many classical notions, like Bundle of Banach spaces, bundles of Hilbert spaces or (semi)-continuous field of C ⁎ -algebras.
Fields of Study & Subjects
Mathematical Dynamics and Fractals
Mathematics and Applications
Publication details
- Journal / source
- Annals of Pure and Applied Logic
- Publisher
- Elsevier BV
- Volume
- 177
- Issue
- 10
- Pages
- 103794–103794
- Publication date
- 2 June 2026
- Language
- EN