Towards ``dynamic domains: totally continuous cocomplete \(\mathcal Q\)-categories

DOI10.1016/j.tcs.2007.01.002zbMath1111.68073arXivmath/0501489OpenAlexW1978648506MaRDI QIDQ875519

Isar Stubbe

Publication date: 13 April 2007

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/math/0501489

zbMATH Keywords

dynamic logicprojectivitymodulequantaloid-enriched categorycomplete distributivitydynamic domainsmall-projectivitytotal algebraicitytotal continuity

Mathematics Subject Classification ID

Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Quantum logic (03G12) Preorders, orders, domains and lattices (viewed as categories) (18B35) Quantales (06F07) Enriched categories (over closed or monoidal categories) (18D20) Categories of sets, characterizations (18B05)

Related Items

A duality between \(\Omega\)-categories and algebraic \(\Omega\)-categories ⋮ An introduction to quantaloid-enriched categories ⋮ Completely distributive enriched categories are not always continuous ⋮ Fuzzy bases of fuzzy domains ⋮ The double power monad is the composite power monad ⋮ Fixed points of adjoint functors enriched in a quantaloid ⋮ The Involutive Quantaloid of Completely Distributive Lattices ⋮ Constructing \(Q\)-algebras from \(Q\)-modules ⋮ A duality of quantale-enriched categories ⋮ Unnamed Item ⋮ Invariance of projective modules in \(\mathsf{Sup}\) under self-duality ⋮ Regularity vs. constructive complete (co)distributivity ⋮ Towards Stone duality for topological theories ⋮ Approximation in quantale-enriched categories ⋮ Implication structures, fuzzy subsets, and enriched categories ⋮ On principally generated quantaloid-modules in general, and skew local homeomorphisms in particular ⋮ A comparative study of ideals in fuzzy orders ⋮ CHARACTERIZATION OF PROJECTIVE QUANTALES ⋮ Fuzzy \(Z\)-continuous posets

Cites Work

• Constructive complete distributivity. IV
• Enrichment through variation
• Liminf convergence in \(\Omega\)-categories
• On a duality of quantales emerging from an operational resolution
• Constructive complete distributivity. I
• Quantales, observational logic and process semantics
• A categorical generalization of Scott domains
• Epistemic Actions as Resources
• An axiomatic basis for computer programming
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item