Regularly ordered Banach spaces and positively convex spaces (Q1072071)

Let \({\mathcal B}an^+_ 1\) denote the category of all regularly ordered Banach spaces and positive linear contractions, and let \({\mathcal S}et\) denote the category of sets. For each regularly ordered Banach space B, the positive part of the unit ball is denoted by \(\Delta\) (B). Then \(\Delta\) : \({\mathcal B}an^+_ 1\to {\mathcal S}et\) is a functor and has a left adjoint \(\ell_ 1: {\mathcal S}et\to {\mathcal B}an^+_ 1\), where, for any set X, \(\ell_ 1(X):=\{f: f\in {\mathbb{R}}^ X\) and \(\Sigma \{| f(x)|:x\in X\}<\infty \}\). Thus \({\mathcal B}an^+_ 1\) generates a uniquely determined category \({\mathcal H}\) of universal algebras (Eilenberg- Moore algebras). There is a canonical functor \({\hat \Delta}\): \({\mathcal B}an^+_ 1\to {\mathcal H}\) with a left adjoint \(S: {\mathcal H}\to {\mathcal B}an^+_ 1\) explicitly constructed. An abstract and general version of the Hahn-Banach theorem is established in \({\mathcal H}\).