Fraisse's construction from a topos-theoretic perspective

2008/05/19 by Olivia Caramello, Caramello, Olivia
Mathematics · #03C35 #03G30 #18B25 #18C10 #Category Theory (math.CT) #FOS: Mathematics #History and Theory of Mathematics #Logic (math.LO) #math.CT #math.LO #msc:03C35 #msc:03G30 #msc:18B25 #msc:18C10

paper · pdf · doi:10.48550/arxiv.0805.2778

17 pages; new version with generalized theorems

openalex publication_date 2008/05/19 · arxiv created 2008/12/01 · arxiv updated 2009/12/01 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

Abstract

We present a topos-theoretic interpretation of (a categorical generalization of) Fraisse's construction in model theory, with applications to countably categorical theories.

Related

• On the theories classified by an étendue
• Foundations of a Recent Extension of Category Theory and Topos Theory
• An informal introduction to topos theory
• Sites and Grothendieck toposes: an introduction
• Higher Topos Theory