scientific article
From MaRDI portal
Publication:3978977
zbMath0764.18004MaRDI QIDQ3978977
Steven Vickers, Peter T. Johnstone
Publication date: 26 June 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
framesessentially algebraic theorymeet-semilatticespreframescommutative theorysymmetric monoidal structurecoequalizerscommutative monoids over preframeslocalic Tychonoff theorem
Compactness (54D30) Categorical methods in general topology (54B30) Ordered sets (06A99) Special categories (18B99) Theories (e.g., algebraic theories), structure, and semantics (18C10) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15)
Related Items
A new diagonal separation and its relations with the Hausdorff property ⋮ Universal approach to \(Z\)-frame envelopes of semilattices ⋮ Information systems for continuous posets ⋮ Unnamed Item ⋮ Unnamed Item ⋮ A logical approach to stable domains ⋮ Coalgebraic representations of distributive lattices with operators ⋮ Unnamed Item ⋮ Inverse limits in the category of locales ⋮ A representation theorem for geometric morphisms ⋮ Dijkstra and Hoare monads in monadic computation ⋮ Representing geometric morphisms using power locale monads ⋮ The localic compact interval is an Escardó‐Simpson interval object ⋮ Presenting quotient locales ⋮ Compact spaces and distributive lattices. ⋮ The patch construction is dual to algebraic DCPO representation ⋮ Presenting locale pullback via directed complete posets ⋮ Entailment systems for stably locally compact locales ⋮ A universal characterization of the double powerlocale ⋮ Stably locally compact locales are dual to continuous posets ⋮ Localic Priestley duality ⋮ Convergence in formal topology: a unifying notion ⋮ Choiceless, pointless, but not useless: dualities for preframes ⋮ Presenting Dcpos and Dcpo Algebras ⋮ Stability of properties of locales under groups ⋮ Completions, comonoids, and topological spaces ⋮ On the parallel between the suplattice and preframe approaches to locale theory ⋮ Compactness in locales and in formal topology ⋮ Proper maps of locales