Site characterizations for geometric invariants of toposes

zbMath1291.18004arXiv1112.2542MaRDI QIDQ2847340

Olivia Caramello

Publication date: 4 September 2013

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

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)

Related Items (2)

Topological Galois theory ⋮ On Supercompactly and Compactly Generated Toposes

This page was built for publication: Site characterizations for geometric invariants of toposes