2 papers
math.CT2025
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.LO2025
Boundedly finite-to-one functions
Xiao Hu, Guozhen Shen
A function is boundedly finite-to-one if there is a natural number such that each point has at most inverse images. In this paper, we prove in (i.e., the Zerm…