Open maps of toposes
From MaRDI portal
Cites work
- Aspects of topoi
- Atomic toposes
- Classifying spaces for sheaves of simplicial groupoids
- Grothendieck toposes have boolean points a new proof
- scientific article; zbMATH DE number 3699786 (Why is no real title available?)
- scientific article; zbMATH DE number 3505199 (Why is no real title available?)
- scientific article; zbMATH DE number 3574077 (Why is no real title available?)
- Indexed categories and generated topologies
- Molecular toposes
- The Gleason cover of a topos. I
Cited in
(34)- An application of open maps to categorical logic
- Measurable refinement monoids and applications to distributive semilattices, Heyting algebras, and Stone spaces
- Vaught measures and their applications in lattice theory
- Conceptual completeness for first-order intuitionistic logic: An application of categorical logic
- Syntax and semantics of the logic \({\mathcal L}_{\omega\omega}^\lambda\)
- Open localizations
- Formal systems for modal operators on locales
- A completeness theorem for open maps
- Classifying toposes for first-order theories
- Syntactic forcing models for coherent logic
- Spreads and the symmetric topos
- Relative and modified relative realizability
- The Michael completion of a topos spread
- Reconstruction theorem for monoid schemes
- Factorizing the \(\mathbf{Top}\)-\(\mathbf{Loc}\) adjunction through positive topologies
- Complemented sublocales and open maps
- The Classifying Topos of a Continuous Groupoid. I
- scientific article; zbMATH DE number 3824051 (Why is no real title available?)
- scientific article; zbMATH DE number 3941764 (Why is no real title available?)
- Connected Locally Connected Toposes are Path-Connected
- scientific article; zbMATH DE number 3710374 (Why is no real title available?)
- The point of pointless topology
- scientific article; zbMATH DE number 672108 (Why is no real title available?)
- \(\mathbb{T}\)-motives
- Overlap algebras: a constructive look at complete Boolean algebras
- Distribution algebras and duality
- Two-dimensional Kripke semantics i: presheaves
- The Kock-Mikkelsen factorisation
- An elementary characterization of stably precohesive geometric morphisms as particular precohesive geometric morphisms
- Smooth spaces versus continuous spaces in models for synthetic differential geometry
- Cofibrations in the bicategory of topoi
- Sheaf models for choice sequences
- Kripke-style models for typed lambda calculus
- An axiomatic account of weak triquotient assignments in locale theory
This page was built for publication: Open maps of toposes
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1139120)
