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)

• 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
• Atomic toposes and countable categoricity
• Fraïssé's construction from a topos-theoretic perspective
• A SYNTACTIC CHARACTERIZATION OF MORITA EQUIVALENCE
• ``Pathologies in two syntactic categories of partial maps
• On the geometric theory of local MV-algebras
• scientific article; zbMATH DE number 1989653 (Why is no real title available?)
• Site characterizations for geometric invariants of toposes
• Theories, sites, toposes. Relating and studying mathematical theories through topos-theoretic `bridges'
• The Unification of Mathematics via Topos Theory
• 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
• Some aspects of topological Galois theory
• On supercompactly and compactly generated toposes
• 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)