Towards "dynamic domains": totally continuous cocomplete Q-categories
| dc.creator | Stubbe, Isar | |
| dc.date | 2005-01-27 | |
| dc.date | 2005-10-10 | |
| dc.date.accessioned | 2026-07-07T06:39:21Z | |
| dc.date.available | 2026-07-07T06:39:21Z | |
| dc.description | 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 lead to consider cocomplete quantaloid-enriched categories as 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 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''. | |
| dc.description | 29 pages; contains a more elaborate introduction, corrects some typos, and has a sexier title than the previously posted version, but the mathematics are essentially the same | |
| dc.identifier | https://arxiv.org/abs/math/0501489 | |
| dc.identifier | http://arxiv.org/abs/math/0501489 | |
| dc.identifier.uri | http://salesiana.dossiersoluciones.com/handle/123456789/101046 | |
| dc.subject | Category Theory | |
| dc.title | Towards "dynamic domains": totally continuous cocomplete Q-categories | |
| dc.type | text |