121 citations · 288 across the 18 of their papers we have counts for
22 papers
When is Cat(Q) cartesian closed?
Isar Stubbe, Junche Yu
We give an elementary characterization of those quantaloids Q for which the category Cat(Q) of Q-enriched categories and functors is cartesian closed. We then unify several known c…
Ideals and continuity for quantaloid-enriched categories
Min Liu, Shengwei Han, Isar Stubbe
We study ideals in, and continuity of, quantaloid-enriched categories (Q-categories for short) as a 'many-valued and many-typed' generalization of domain theory. Abstractly, for an…
A logical analysis of fixpoint theorems
Arij Benkhadra, Isar Stubbe
We prove a fixpoint theorem for contractions on Cauchy-complete quantale-enriched categories. It holds for any quantale whose underlying lattice is continuous, and applies to contr…
Topology from enrichment: the curious case of partial metrics
Dirk Hofmann, Isar Stubbe
For any small quantaloid $\Q$, there is a new quantaloid $\D(\Q)$ of diagonals in $\Q$. If $\Q$ is divisible then so is $\D(\Q)$ (and vice versa), and then it is particularly inter…
Grothendieck quantaloids for allegories of enriched categories
Hans Heymans, Isar Stubbe
For any small involutive quantaloid Q we define, in terms of symmetric quantaloid-enriched categories, an involutive quantaloid Rel(Q) of Q-sheaves and relations, and a category Sh…
Elementary characterisation of small quantaloids of closed cribles
Hans Heymans, Isar Stubbe
Each small site (C,J) determines a small quantaloid of closed cribles R(C,J). We prove that a small quantaloid Q is equivalent to R(C,J) for some small site (C,J) if and only if th…