Towards "dynamic domains": totally continuous cocomplete Q-categories

Isar Stubbe

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 d…