| Résume | I will give a gentle introduction to Fraïssé theory formulated in the language of category theory and explain how it encompasses both the classical Fraïssé theory of countable first-order structures and the projective Fraïssé theory of topological structures, introduced by Irwin and Solecki. Then I will sketch our extension of the framework to the metric-enriched context and its application: characterizing the pseudo-arc and pseudo-solenoids directly as Fraïssé limits. If time permits, to show the big picture I will briefly mention other closely connected topics that benefit from using the abstract setting: the Banach–Mazur game, weak amalgamation property, Ramsey theory, KPT correspondence, rewriting systems, ... . |
