scientific article; zbMATH DE number 3853324
From MaRDI portal
Publication:3322276
Recommendations
Cited in
(37)- The connected Vietoris powerlocale
- Local homeomorphisms as the exponentiable morphisms in compact Hausdorff spaces
- Preservation of topological properties under exponentiation
- Fibrewise smash product and fibrewise mapping spaces
- Variants of openness
- Inductively generated formal topologies.
- Constructive metrisability in point-free topology.
- Entailment systems for stably locally compact locales
- Embedding locales and formal topologies into positive topologies
- About Stone's notion of spectrum
- A comparison of two topos-theoretic approaches to quantum theory
- Factorizing the \(\mathbf{Top}\)-\(\mathbf{Loc}\) adjunction through positive topologies
- Open maps, colimits, and a convenient category of fibre spaces
- Enriched topologies and topological representation of semi-unital and semi-integral quantales
- Remarks on the Stone-Čech and Alexandroff compactifications of locales
- Compactly generated Hausdorff locales
- Regular universes and formal spaces
- Formal Zariski topology: Positivity and points
- Compactness in locales and in formal topology
- scientific article; zbMATH DE number 2125651 (Why is no real title available?)
- A categorical proof of the equivalence of local compactness of exponentiability in locale theory
- On some peculiar aspects of the constructive theory of point-free spaces
- scientific article; zbMATH DE number 3986151 (Why is no real title available?)
- Almost new pre-apartness from old
- scientific article; zbMATH DE number 672108 (Why is no real title available?)
- Local character expansions
- scientific article; zbMATH DE number 2067653 (Why is no real title available?)
- scientific article; zbMATH DE number 2156379 (Why is no real title available?)
- scientific article; zbMATH DE number 860043 (Why is no real title available?)
- The localic compact interval is an Escardó-Simpson interval object
- Apartness, sharp elements, and the Scott topology of domains
- Locatedness and overt sublocales
- Cosheaves and connectedness in formal topology
- Sharp elements and apartness in domains
- Intuitionistic quantum logic of an \(n\)-level system
- Exact approximations to Stone-Čech compactification
- Fuzzy sets and geometric logic
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3322276)
