Towards dynamic domains: Totally continuous cocomplete Q-categories

摘要: It is common practice in both theoretical computer science and physics to describe the (static) logic of a system by means complete lattice. When formalizing dynamics such system, updates that organize themselves quite naturally quantale, or more generally, quantaloid. In fact, we are led consider cocomplete quantaloid-enriched categories as fundamental mathematical structure for dynamic physics. Here explain theory totally continuous generalization well-known suplattices. That say, undertake some first steps towards ''dynamic domains''.