1 citations · 2 across the 3 of their papers we have counts for
3 papers
math.RA2026
Quantales as formal concept lattices
Lili Shen, Xiaojuan Zhao
We establish a new bridge connecting quantales, semigroups and the theory of formal concept analysis. By introducing residuated relations whose domains are semigroups, we show that…
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…
math.AT2017★ 1 cited
Spark complexes on good effective orbifold atlases categorically
Cheng-Yong Du, Lili Shen, Xiaojuan Zhao
Good atlases are defined for effective orbifolds, and a spark complex is constructed on each good atlas. It is proved that this process is 2-functorial with compatible systems play…