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.

Convexity on Complete Lattices

Unconditional Convergent Series on Locally Convex Spaces

Fractoconvex structures

Some further results on pointfree convex geometry

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

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

Convex Geometry of Building Sets

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

Free Banach lattices over pre-ordered Banach spaces

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

Congruences on Continuous Lattices

A generalization of p-convexity and q-concavity on Banach lattices

Log-concavity and log-convexity via distributive lattices

Algebraic convex geometries revisited

The operadic theory of convexity

On the classification of lattice polytopes via affine equivalence

On the Classification of Convex Lattice Polytopes

A Gelfand duality for continuous lattices

Many-valued complete distributivity

Set-valued convex compositions

Affinely representable lattices, stable matchings, and choice functions