BIRS Workshop Lecture Videos
Fraisse categories and their applications Kubis, Wieslaw
We will describe category-theoretic framework for Fraïssé limits, capturing objects outside of model theory. Our basic setting is a category enriched over metric spaces plus a function measuring the ``distortion" of arrows. Within this scheme, adding some natural axioms the Fraïssé limit exists, is unique, and has similar properties to classical Fraïssé limits. Our approach is parallel to Ben Yaacov's continuous Fraïssé theory, trying to avoid model-theoretic issues. Within our framework we capture the Gurarii space, the pseudo-arc, the Poulsen simplex, and some other objects coming from analysis and topology (both new and existing ones).
Item Citations and Data
Attribution-NonCommercial-NoDerivatives 4.0 International