Open maps of toposes
From MaRDI portal
Publication:1139120
DOI10.1007/BF01303275zbMath0433.18002OpenAlexW2060621887MaRDI QIDQ1139120
Publication date: 1980
Published in: Manuscripta Mathematica (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/154704
stability propertiesopen mapsfull first-order logicgeometric morphisms between toposespre-opennesssub-openness
Related Items
The point of pointless topology, Vaught measures and their applications in lattice theory, A completeness theorem for open maps, An axiomatic account of weak triquotient assignments in locale theory, Unnamed Item, Conceptual completeness for first-order intuitionistic logic: An application of categorical logic, Classifying toposes for first-order theories, Syntax and semantics of the logic \({\mathcal L}_{\omega\omega}^\lambda\), Unnamed Item, Open localizations, Factorizing the \(\mathbf{Top}\)-\(\mathbf{Loc}\) adjunction through positive topologies, Unnamed Item, \(\mathbb{T}\)-motives, Distribution algebras and duality, Connected Locally Connected Toposes are Path-Connected, Unnamed Item, Syntactic forcing models for coherent logic, The Classifying Topos of a Continuous Groupoid. I, Reconstruction theorem for monoid schemes, Unnamed Item, Spreads and the symmetric topos, Smooth spaces versus continuous spaces in models for synthetic differential geometry, Cofibrations in the bicategory of topoi, Relative and modified relative realizability, An application of open maps to categorical logic, The Michael completion of a topos spread, Complemented sublocales and open maps, Measurable refinement monoids and applications to distributive semilattices, Heyting algebras, and Stone spaces, Sheaf models for choice sequences, Kripke-style models for typed lambda calculus, Formal systems for modal operators on locales
Cites Work
