4 citations · 6 across the 5 of their papers we have counts for
Showing math.CTShow all
2 papers · 1 filter
math.CT2025
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…
math.CT2023
Smyth complete real-enriched categories
Junche Yu, Dexue Zhang
This paper investigates Smyth completeness of categories enriched over a quantale obtained by equipping the unit interval of real numbers with a continuous t-norm. A real-enriched…