121 citations · 229 across the 5 of their papers we have counts for
5 papers
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…
Categorical structures enriched in a quantaloid: tensored and cotensored categories
Isar Stubbe
Our subject is that of categories, functors and distributors enriched in a base quantaloid Q. We show how cocomplete Q-categories are precisely those which are tensored and conical…
Categorical structures enriched in a quantaloid: orders and ideals over a base quantaloid
Isar Stubbe
Applying (enriched) categorical structures we define the notion of ordered sheaf on a quantaloid Q, which we call `Q-order'. This requires a theory of semicategories enriched in th…
Categorical structures enriched in a quantaloid: regular presheaves, regular semicategories
Isar Stubbe
We study presheaves on semicategories enriched in a quantaloid: this gives rise to the notion of regular presheaf. A semicategory is regular when its representable presheaves are r…
Categorical structures enriched in a quantaloid: categories, distributors and functors
Isar Stubbe
We thoroughly treat several familiar and less familiar definitions and results concerning categories, functors and distributors enriched in a base quantaloid Q. In analogy with V-c…