Syntactic characterizations of properties of classifying toposes

zbMATH Open1259.03091arXiv0905.0299MaRDI QIDQ2884477FDOQ2884477

Authors: Olivia Caramello 

Publication date: 29 May 2012

Published in: Theory and Applications of Categories (Search for Journal in Brave)

Abstract: We show that there is a bijection between the subtoposes of the classifying topos of a geometric theory T over a signature L and the closed geometric theories over L which are `quotients' of the theory T; next, we analyze how classical topos-theoretic constructions on the lattice of subtoposes of a given topos can be transferred, via the bijection above, to logical constructions in the corresponding lattice of theories.

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

File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

Recommendations

• Theories, sites, toposes. Relating and studying mathematical theories through topos-theoretic `bridges'
• Site characterizations for geometric invariants of toposes
• A characterization theorem for geometric logic
• Classifying toposes for first-order theories
• Syntactic characterization of closure under connected limits

zbMATH Keywords

geometric logicGrothendieck topossite characterizations

Mathematics Subject Classification ID

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

Cited In (19)

• General affine adjunctions, Nullstellensätze, and dualities
• Strongly algebraic = SFP (topically)
• Syntactic characterization of closure under connected limits
• Yoneda representations of flat functors and classifying toposes
• Fraïssé's construction from a topos-theoretic perspective
• Atomic toposes and countable categoricity
• A SYNTACTIC CHARACTERIZATION OF MORITA EQUIVALENCE
• ``Pathologies in two syntactic categories of partial maps
• On the geometric theory of local MV-algebras
• Title not available (Why is that?)
• Site characterizations for geometric invariants of toposes
• The Unification of Mathematics via Topos Theory
• Theories, sites, toposes. Relating and studying mathematical theories through topos-theoretic `bridges'
• The Morita-equivalence between MV-algebras and lattice-ordered abelian groups with strong unit.
• Topological Galois theory
• Lattice-ordered abelian groups and perfect MV-algebras: a topos-theoretic perspective
• On supercompactly and compactly generated toposes
• Some aspects of topological Galois theory
• A characterization theorem for geometric logic

This page was built for publication: Syntactic characterizations of properties of classifying toposes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2884477)