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.

Formulations of L-convex Hulls on Some Algebraic Structures

Convex hull properties and algorithms

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

Constraint Qualification, the Strong CHIP, and Best Approximation with Convex Constraints in Banach Spaces.

Constraint Qualifications for Extended Farkas'S Lemmas and Lagrangian Dualities in Convex Infinite Programming

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

Some characterizations of almost order (L) sets and applications

Constraint Qualifications for Convex Inequality Systems with Applications in Constrained Optimization

Convex hull lattices point generated

Constraint Qualifications for Optimality Conditions and Total Lagrange Dualities in Convex Infinite Programming

On the Classification of Convex Lattice Polytopes

The 2+1-convex hull of a~finite set

Lattice-theoretic Models of Conjectures, Hypotheses and Consequences

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

Convex bodies and algebraic equations on affine varieties

Fractoconvex structures

Extended formulations for convex hulls of graphs of bilinear functions

Some further results on pointfree convex geometry

Affinely representable lattices, stable matchings, and choice functions

Algebraic convex geometries revisited

Convex Geometry of Building Sets