Towards "Dynamic Domains": Totally Continuous Cocomplete Q-categories

  title={Towards "Dynamic Domains": Totally Continuous Cocomplete Q-categories},
  author={Isar Stubbe},
  journal={Electr. Notes Theor. Comput. Sci.},
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… CONTINUE READING


Publications citing this paper.
Showing 1-6 of 6 extracted citations


Publications referenced by this paper.
Showing 1-10 of 26 references

Categorical structures enriched in a quantaloid: categories, distributors and functors

Stubbe, Isar
Theory Appl. Categ • 2005

Categorical structures enriched in a quantaloid: regular presheaves, regular semicategories

Stubbe, Isar
Cahiers Topol. Géom. Différ. Catég • 2005

Towards “dynamical domains”: totally continuous cocomplete Qcategories (Paper), submitted (2005), arXiv:math.CT/0501489

Stubbe, Isar

Categorical structures enriched in a quantaloid: tensored and cotensored categories, preprint (2004), arXiv:math.CT/0411366

Stubbe, Isar

Ordered sets via adjunctions, Categorical foundations

Wood, J Richard

Causal duality: what it is, and what it is good for, paper presented at the Sixth Biannual Meeting of the International Quantum Structures

Stubbe, Isar

Similar Papers

Loading similar papers…