Sober $L$-convex spaces and $L$-join-semilattices
Abstract: With a complete residuated lattice $L$ as the truth value table, we extend the definition of sobriety of classical convex spaces to the framework of $L$-convex spaces. We provide a specific construction for the sobrification of an $L$-convex space, demonstrating that the full subcategory of sober $L$-convex spaces is reflective in the category of $L$-convex spaces with convexity-preserving mappings. Additionally, we introduce the concept of Scott $L$-convex structures on $L$-ordered sets. As an application of this type of sobriety, we obtain a characterization for the $L$-join-semilattice completion of an $L$-ordered set: an $L$-ordered set $Q$ is an $L$-join-semilattice completion of an $L$-ordered set $P$ if and only if the Scott $L$-convex space $(Q, \sigma{\ast}(Q))$ is a sobrification of the Scott $L$-convex space $(P, \sigma{\ast}(P))$.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.