4 citations · 6 across the 5 of their papers we have counts for
5 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…
On the probabilistic metrizability of approach spaces
Hongliang Lai, Lili Shen, Junche Yu
We investigate approach spaces generated by probabilistic metric spaces with respect to a continuous t-norm on the unit interval . Let be the supremum of the idemp…
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…
A Hofmann-Mislove theorem for approach spaces
Junche Yu, Dexue Zhang
The Hofmann-Mislove theorem says that the ordered set of open filters of the open-set lattice of a sober topological space is isomorphic to the ordered set of compact saturated set…
Continuous [0,1]-lattices and injective [0,1]-approach spaces
Junche Yu, Dexue Zhang
In 1972, Dana Scott proved a fundamental result on the connection between order and topology which says that injective spaces are precisely continuous lattices endowed with S…