Applications of Scott-closed sets in convex structures

Abstract

The aim of this paper is to show that Scott-closed sets have a good application in convex structures. Firstly, based on remotehood system, we give a characterization of convex structure by the Kleisli monoid with respect to the Scott-closed set monad. Then, by an op-canonical lax extension of the Scott-closed set monad, we introduce convex convergence spaces and prove that convex structures are precisely the reflexive and transitive lax algebras. Finally, we study the relationship between ordered structures and separated convex structures.