activity
20242026
most citedOn the probabilistic metrizability of approach spaces

4 citations · 7 across the 6 of their papers we have counts for

collaborators

6 papers

math.CT2026

Cartesian closedness of the category of real-valued sets, II

Lili Shen, Jian Zhang

Let be the unit interval equipped with a left-continuous t-norm . We prove that is cartesian closed if and only if is the min…

math.CT2025

Cartesian closedness of the category of real-valued sets, I

Lili Shen, Jian Zhang

Let be the unit interval equipped with a continuous t-norm . It is shown that the category of -sets is cartesian closed if, and only if, is the mi…

math.CT2025★ 2 cited

is not generally a topos

Xiao Hu, Lili Shen

For a commutative, unital and divisible quantale , it is shown that the category of -sets is a topos if, and only if, is a frame.

math.GN2024★ 4 cited

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.LO2024

The complexity of classifying continuous t-norms up to isomorphism

Jialiang He, Lili Shen, Yi Zhou

It is shown that the isomorphism relation between continuous t-norms is Borel bireducible with the relation of order isomorphism between linear orders on the set of natural numbers…

math.CT2024★ 1 cited

The powerset monad on quantale-valued sets

Lili Shen, Xiaojuan Zhao

For a small involutive quantaloid , it is shown that the category of separated complete -categories and left adjoint -functors is strictly mo…