Fraïssé's construction from a topos-theoretic perspective
From MaRDI portal
Publication:2254565
Abstract: We present a topos-theoretic interpretation of (a categorical generalization of) Fraisse's construction in model theory, with applications to countably categorical theories.
Cites work
- A new strongly minimal set
- A survey of homogeneous structures
- Atomic toposes and countable categoricity
- Colimit completions and the effective topos
- De Morgan classifying toposes
- De Morgan's law and the theory of fields
- Homogeneous Universal Relational Systems.
- scientific article; zbMATH DE number 3654118 (Why is no real title available?)
- scientific article; zbMATH DE number 125200 (Why is no real title available?)
- scientific article; zbMATH DE number 692330 (Why is no real title available?)
- scientific article; zbMATH DE number 2117177 (Why is no real title available?)
- Injective objects and retracts of Fraïssé limits
- Projective Fraïssé limits and the pseudo-arc
- Syntactic characterizations of properties of classifying toposes
- The theory of the exponential differential equations of semiabelian varieties
- Theories of presheaf type
- Topological Galois theory
- Universal domains and the amalgamation property
- Universal relational systems
- When is Flatness Coherent?
- Yoneda representations of flat functors and classifying toposes
Cited in
(21)- Katětov functors
- Sites whose topoi are the smooth representations of locally prodiscrete monoids
- Grothendieck toposes as unifying `bridges': a mathematical morphogenesis
- Maximal ideals in countable rings, constructively
- On the geometric theory of local MV-algebras
- Some aspects of topological Galois theory
- Topological Galois theory
- scientific article; zbMATH DE number 5910512 (Why is no real title available?)
- For a continued revival of the philosophy of mathematics
- scientific article; zbMATH DE number 165318 (Why is no real title available?)
- AMALGAMABLE DIAGRAM SHAPES
- Weak Fraïssé categories
- Cyclic theories
- Lattice-ordered abelian groups and perfect MV-algebras: a topos-theoretic perspective
- The Unification of Mathematics via Topos Theory
- On limits of betweenness relations
- Ultrahomogeneous tensor spaces
- Topological endomorphism monoids of models of geometric theories
- A model of stochastic memoization and name generation in probabilistic programming: categorical semantics via monads on presheaf categories
- The ``unifying notion of topos
- Exercices de style: a homotopy theory for set theory
This page was built for publication: Fraïssé's construction from a topos-theoretic perspective
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2254565)
