BZPEERReading, trust and collaboration for researchDiscover
Workspaces
Network
Opportunities
Account
Researcher profile
Lili Shen contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Identity and collaboration
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Claim this author entity first to unlock direct invitations.
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
Based on Garner's discovery that topological categories are total categories enriched in a quantaloid, this paper presents a series of results related to initial and final density in categorical topology via (co)density in quantaloid-enriched categories, focusing on (co-)Sierpiński objects, Galois correspondences and their fixed points.
For a small quantaloid $\mathcal{Q}$, it is shown that the category of $\mathcal{Q}$-distributors and diagonals is equivalent to a quotient category of the category of $\mathcal{Q}$-interior spaces and continuous $\mathcal{Q}$-distributors. Kan adjunctions induced by $\mathcal{Q}$-distributors play a crucial role in establishing this equivalence.
In the most accessible terms this paper presents a convex-geometric approach to the study of fuzzy vectors. Motivated by several key results from the theory of convex bodies, we establish a representation theorem of fuzzy vectors through support functions, in which a necessary and sufficient condition for a function to be the support function of a fuzzy vector is provided. As applications, symmetric and skew fuzzy vectors are postulated, based on which a Mareš core of each fuzzy vector is constructed through convex bodies and support functions, and it is shown that every fuzzy vector over the $n$-dimensional Euclidean space has a unique Mareš core if, and only if, the dimension $n=1$.
With quantaloids carefully constructed from multi-adjoint frames, it is shown that multi-adjoint concept lattices, multi-adjoint property-oriented concept lattices and multi-adjoint object-oriented concept lattices are derivable from Isbell adjunctions, Kan adjunctions and dual Kan adjunctions between quantaloid-enriched categories, respectively.
Inspired by the theory of apartness relations of Scott, we establish a positive theory of dissimilarity valued in an involutive quantale $\mathsf{Q}$ without the aid of negation. It is demonstrated that a set equipped with a $\mathsf{Q}$-valued dissimilarity is precisely a symmetric category enriched in a subquantaloid of the quantaloid of back diagonals of $\mathsf{Q}$. Interactions between $\mathsf{Q}$-valued dissimilarities and $\mathsf{Q}$-valued similarities (which are equivalent to $\mathsf{Q}$-valued equalities in the sense of H{ö}hle--Kubiak) are investigated with the help of lax functors. In particular, it is shown that similarities and dissimilarities are interdefinable if $\mathsf{Q}$ is a Girard quantale with a hermitian and cyclic dualizing element.
The quantale of distance distributions is of fundamental importance for understanding probabilistic metric spaces as enriched categories. Motivated by the categorical interpretation of partial metric spaces, we are led to investigate the quantaloid of diagonals between distance distributions, which is expected to establish the categorical foundation of probabilistic partial metric spaces. Observing that the quantale of distance distributions w.r.t. an arbitrary continuous t-norm is non-divisible, we precisely characterize diagonals between distance distributions, and prove that one-step functions are the only distance distributions on which the set of diagonals coincides with the generated down set.