scientific article
From MaRDI portal
Publication:3322276
zbMath0537.18001MaRDI QIDQ3322276
Publication date: 1984
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
frameexponentiationarbitrary toposopen localessheaves on sober spacetopos with natural number object
Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Topoi (18B25)
Related Items (30)
Variants of openness ⋮ Unnamed Item ⋮ Exact approximations to Stone-Čech compactification ⋮ A comparison of two topos-theoretic approaches to quantum theory ⋮ Almost new pre-apartness from old ⋮ Apartness, sharp elements, and the Scott topology of domains ⋮ Inductively generated formal topologies. ⋮ Locatedness and overt sublocales ⋮ Cosheaves and connectedness in formal topology ⋮ Constructive metrisability in point-free topology. ⋮ Entailment systems for stably locally compact locales ⋮ Local homeomorphisms as the exponentiable morphisms in compact Hausdorff spaces ⋮ Factorizing the \(\mathbf{Top}\)-\(\mathbf{Loc}\) adjunction through positive topologies ⋮ Remarks on the Stone-Čech and Alexandroff compactifications of locales ⋮ Embedding locales and formal topologies into positive topologies ⋮ Preservation of topological properties under exponentiation ⋮ Fuzzy sets and geometric logic ⋮ On some peculiar aspects of the constructive theory of point-free spaces ⋮ Open maps, colimits, and a convenient category of fibre spaces ⋮ About Stone's notion of spectrum ⋮ Intuitionistic quantum logic of an \(n\)-level system ⋮ Sharp elements and apartness in domains ⋮ Unnamed Item ⋮ Enriched topologies and topological representation of semi-unital and semi-integral quantales ⋮ The connected Vietoris powerlocale ⋮ Fibrewise smash product and fibrewise mapping spaces ⋮ Compactly generated Hausdorff locales ⋮ Regular universes and formal spaces ⋮ Formal Zariski topology: Positivity and points ⋮ Compactness in locales and in formal topology
This page was built for publication:
