3 papers
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.GN2024
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…
math.GN2021
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…