A universal characterization of the double powerlocale
From MaRDI portal
Intuitionistic mathematics (03F55) Continuous lattices and posets, applications (06B35) Frames, locales (06D22) Topoi (18B25) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Hyperspaces in general topology (54B20) Categorical methods in general topology (54B30) Function spaces in general topology (54C35)
Recommendations
Cites work
- A Powerdomain Construction
- An extension of the Galois theory of Grothendieck
- Categories of chain-complete posets
- Constructive points of powerlocales
- Finiteness and decidability: II
- scientific article; zbMATH DE number 3929909 (Why is no real title available?)
- scientific article; zbMATH DE number 3673159 (Why is no real title available?)
- scientific article; zbMATH DE number 3759128 (Why is no real title available?)
- scientific article; zbMATH DE number 3787631 (Why is no real title available?)
- scientific article; zbMATH DE number 19490 (Why is no real title available?)
- scientific article; zbMATH DE number 41225 (Why is no real title available?)
- scientific article; zbMATH DE number 1770055 (Why is no real title available?)
- scientific article; zbMATH DE number 2117177 (Why is no real title available?)
- scientific article; zbMATH DE number 851999 (Why is no real title available?)
- scientific article; zbMATH DE number 860043 (Why is no real title available?)
- Information systems for continuous posets
- Locally cartesian closed exact completions
- Power domains
- Quantales, observational logic and process semantics
- The Hoare and Symth power domain constructors commute under composition
- The Semilattice Tensor Product of Distributive Lattices
- Topical categories of domains
Cited in
(29)- The connected Vietoris powerlocale
- Presenting locale pullback via directed complete posets
- Entailment systems for stably locally compact locales
- Equilogical spaces and algebras for a double-power monad
- Representing geometric morphisms using power locale monads
- Stability of properties of locales under groups
- On the parallel between the suplattice and preframe approaches to locale theory
- Compactness in locales and in formal topology
- Free and cofree acts of dcpo-monoids on directed complete posets.
- scientific article; zbMATH DE number 2125651 (Why is no real title available?)
- Observationally-induced effects in Cartesian closed categories
- A categorical proof of the equivalence of local compactness of exponentiability in locale theory
- De Groot duality and models of choice: angels, demons and nature
- Constructive points of powerlocales
- An induction principle for consequence in arithmetic universes
- Generalised powerlocales via relation lifting
- Limits and colimits in the category of pre-directed complete pre-ordered sets
- The spectrum of a localic semiring
- Frames and topological algebras for a double-power monad
- scientific article; zbMATH DE number 7093560 (Why is no real title available?)
- Weighted limits in the category Dcpo-S
- Presenting dcpos and dcpo algebras
- On the logic of generalised metric spaces
- Presenting quotient locales
- A representation theorem for geometric morphisms
- Distributive idempotents in an order-enriched category
- Machine space. I: Weak exponentials and quantification over compact spaces
- An axiomatic account of weak triquotient assignments in locale theory
- Coalgebraic representations of distributive lattices with operators
This page was built for publication: A universal characterization of the double powerlocale
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1434363)
