Title 



Towards "dynamic domains" : totally continuous cocomplete Qcategories


Author 


 

Abstract 



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 quantaloidenriched 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 wellknown theory of totally continuous suplattices. That is to say, we undertake some first steps towards a theory of "dynamic domains". (c) 2007 Elsevier B.V. All rights reserved.  

Language 



English


Source (journal) 



Theoretical computer science.  Amsterdam 

Source (book) 



21st Annual Conference on Mathematical Foundations of Programming, Semantics (MFPS XXI), MAY 1721, 2005, Univ Birmingham, Birmingham, ENGLAND 

Publication 



Amsterdam : 2007


ISSN 



03043975


Volume/pages 



373:12(2007), p. 142160


ISI 



000245499700007


Full text (Publishers DOI) 


 

Full text (publishers version  intranet only) 


 
