Syntactic characterizations of properties of classifying toposes

MaRDI QIDQ2884477zbMATH OpenFDO

Authors Olivia Caramello

Publication date 29 May 2012

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

Full work available at URL https://arxiv.org/abs/0905.0299, http://www.emis.de/journals/TAC/volumes/26/6/26-06abs.html

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

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)

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.

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

Cited in

(19)

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

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)