Open maps of toposes
From MaRDI portal
Cites work
- 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?)
- Aspects of topoi
- Atomic toposes
- Classifying spaces for sheaves of simplicial groupoids
- Grothendieck toposes have boolean points a new proof
- Indexed categories and generated topologies
- Molecular toposes
- The Gleason cover of a topos. I
Cited in
(31)- Kripke-style models for typed lambda calculus
- The Michael completion of a topos spread
- Syntactic forcing models for coherent logic
- Classifying toposes for first-order theories
- An axiomatic account of weak triquotient assignments in locale theory
- The Classifying Topos of a Continuous Groupoid. I
- Relative and modified relative realizability
- Syntax and semantics of the logic \({\mathcal L}_{\omega\omega}^\lambda\)
- A completeness theorem for open maps
- An application of open maps to categorical logic
- Sheaf models for choice sequences
- Vaught measures and their applications in lattice theory
- The point of pointless topology
- Factorizing the \(\mathbf{Top}\)-\(\mathbf{Loc}\) adjunction through positive topologies
- Spreads and the symmetric topos
- scientific article; zbMATH DE number 3941764 (Why is no real title available?)
- scientific article; zbMATH DE number 3824051 (Why is no real title available?)
- Complemented sublocales and open maps
- Open localizations
- scientific article; zbMATH DE number 3710374 (Why is no real title available?)
- scientific article; zbMATH DE number 7168149 (Why is no real title available?)
- scientific article; zbMATH DE number 672108 (Why is no real title available?)
- Reconstruction theorem for monoid schemes
- Cofibrations in the bicategory of topoi
- Smooth spaces versus continuous spaces in models for synthetic differential geometry
- Distribution algebras and duality
- Conceptual completeness for first-order intuitionistic logic: An application of categorical logic
- Connected Locally Connected Toposes are Path-Connected
- Formal systems for modal operators on locales
- Measurable refinement monoids and applications to distributive semilattices, Heyting algebras, and Stone spaces
- \(\mathbb{T}\)-motives
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)
