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.

Denting Points of Convex Sets and Weak Property ($π$) of Cones in Locally Convex Spaces

On dentability and cones with a large dual

Nearest and Farthest Points in Spaces of Curvature Bounded Below

Stable and Total Fenchel Duality for Convex Optimization Problems in Locally Convex Spaces

Restricted P-Centers for Sets in Real Locally Convex Spaces

Strong CHIP for Infinite System of Closed Convex Sets in Normed Linear Spaces

Strictly convex norms and the local diameter two property

Banach spaces with small weakly open subsets of the unit ball and massive sets of Daugavet and $Δ$-points

The Dual Normal Chip and Linear Regularity for Infinite Systems of Convex Sets in Banach Spaces

Convexity and Osculation in Normed Spaces

Existence and density theorems of Henig global proper efficient points

The SECQ, Linear Regularity, and the Strong CHIP for an Infinite System of Closed Convex Sets in Normed Linear Spaces.

Exploring Convexity in Normed Spaces

Porous Sets for Mutually Nearest Points in Banach Spaces

Porosity of Mutually Nearest and Mutually Furthest Points in Banach Spaces

Generalized Derivatives of Distance Functions and the Existence of Nearest Points

Remarks on the continuity of convex functions in geodesic spaces

On weakly $1$-convex and weakly $1$-semiconvex sets

Some further results on pointfree convex geometry

Integer Points in Arbitrary Convex Cones: The Case of the PSD and SOC Cones