Abstract:Inspired by locale theory, pointfree convex geometry was first proposed and studied by Yoshihiro Maruyama. In this paper, we shall continue to his work and investigate the related topics on pointfree convex spaces. Concretely, the following results are obtained: (1) A Hofmann–Lawson-like duality for pointfree convex spaces is established. (2) The -injective objects in the category of -convex spaces are proved precisely to be sober convex spaces, where is the class of strict maps of convex spaces; (3) A convex space X is sober iff there never exists a nontrivial identical embedding such that its dualization is an isomorphism, and a convex space X is iff there never exists a nontrivial identical embedding such that its dualization is an isomorphism. (4) A dual adjunction between the category of continuous lattices with continuous D -homomorphisms and the category of -convex spaces with CP -maps is constructed, which can further induce a dual equivalence between and a subcategory of ; (5) The relationship between the quotients of a continuous lattice L and the convex subspaces of is investigated and the collection of all algebraic quotients of L is proved to be an algebraic join-sub-complete lattice of of all quotients of L , where denote the set of non-bottom compact elements of L . Furthermore, it is shown that is isomorphic to the collection of all sober convex subspaces of ; (6) Several necessary and sufficient conditions for all convex subspaces of to be sober are presented.

The characterization for the sobriety of $L$-convex spaces

Sober $L$-convex spaces and $L$-join-semilattices

Sober topological spaces valued in a quantale

Sobriety of quantale-valued cotopological spaces

Unconditional Convergent Series on Locally Convex Spaces

Topological representations for frame-valued domains via $L$-sobriety

Some further results on pointfree convex geometry

On P-Sober Spaces

ON CO-SOBER SPACES

Nonexistence of k-bounded sobrification

L-Quantum Spaces

Sober metric approach spaces

Convex functions, sub different lability and renormings

A Characterization of Monotonically Lindelöf Generalized Ordered Spaces

Relative Regularity Conditions and Linear Regularity Properties for Split Feasibility Problems in Normed Linear Spaces

A Boolean-valued space approach to separation axioms and sobriety of bitopological spaces

Characterizations and Properties of Stratifiable Spaces

STABLE LAGRANGE DUALITIES FOR ROBUST CONICAL PROGRAMMING

Wb-sober spaces and the core-coherence of dcpo models

Characterizations of strictly convex spaces and proximal uniform normal structure

Products of two sober dcpo's need not be sober