Handbook of logic in computer science (vol. 3): semantic structures
Handbook of logic in computer science (vol. 3): semantic structures
Liminf convergence in &OHgr;-categories
Theoretical Computer Science
An axiomatic basis for computer programming
Communications of the ACM
A categorical generalization of Scott domains
Mathematical Structures in Computer Science
Towards “Dynamic Domains”: Totally Continuous Cocomplete Q-categories
Electronic Notes in Theoretical Computer Science (ENTCS)
On Domain Theory over Girard Quantales
Fundamenta Informaticae
Implication structures, fuzzy subsets, and enriched categories
Fuzzy Sets and Systems
A Duality Between Ω-categories and Algebraic Ω-categories
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 5.24 |
It is common practice in both theoretical computer science and theoretical physics to describe the (static) logic of a system by means of a complete lattice. When formalizing the dynamics of such a system, the updates of that system organize themselves quite naturally in a quantale, or more generally, a quantaloid. In fact, we are led to consider cocomplete quantaloid-enriched categories as a fundamental mathematical structure for a dynamic logic common to both computer science and physics. Here we explain the theory of totally continuous cocomplete categories as a generalization of the well-known theory of totally continuous suplattices. That is to say, we undertake some first steps towards a theory of ''dynamic domains''.