Séminaires : Séminaire Général de Logique

Equipe(s) : lm,
Responsables :S. Anscombe, A. Khélif, A. Vignati
Email des responsables : sylvy.anscombe@imj-prg.fr, vignati@imj-prg.fr
Salle : 1013
Adresse :Sophie Germain

ArchivesRetour ligne automatique
Abonnement à la liste de diffusion

Orateur(s) Adam Bartoš - Institute of Mathematics of the Czech Academy of Sciences,
Titre Fraïssé theory in the language of categories and some applications
Horaire15:15 à 16:15

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, ... .

AdresseSophie Germain