Yoneda representations of flat functors and classifying toposes

zbMath1291.18003arXiv0805.2187MaRDI QIDQ2919776

Olivia Caramello

Publication date: 22 October 2012

Full work available at URL: https://arxiv.org/abs/0805.2187

zbMATH Keywords

classifying toposflat functorYoneda lemma

Mathematics Subject Classification ID

Model theory (03C99) Categorical logic, topoi (03G30) Topoi (18B25) Theories (e.g., algebraic theories), structure, and semantics (18C10)

Related Items (6)

Flat vs. filtered colimits in the enriched context ⋮ LATTICE-ORDERED ABELIAN GROUPS AND PERFECT MV-ALGEBRAS: A TOPOS-THEORETIC PERSPECTIVE ⋮ The Unification of Mathematics via Topos Theory ⋮ The Morita-equivalence between MV-algebras and lattice-ordered abelian groups with strong unit. ⋮ Fraïssé's construction from a topos-theoretic perspective ⋮ De Morgan classifying toposes

This page was built for publication: Yoneda representations of flat functors and classifying toposes