Domains arising as algebras for powerspace constructions
From MaRDI portal
Publication:689273
DOI10.1016/0022-4049(93)90059-3zbMath0793.06007OpenAlexW2016369422MaRDI QIDQ689273
Publication date: 22 August 1994
Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0022-4049(93)90059-3
continuous domainslocally quasicompact spacescontinuous lattice of filters of open setsScott-open filterssupersober spacestriple
Categorical methods in general topology (54B30) Continuous lattices and posets, applications (06B35) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15)
Related Items
Constructing a quasi-uniform function space, Continuity spaces: Reconciling domains and metric spaces, Duality theory for enriched Priestley spaces
Cites Work