Injective positively ordered monoids II

AbstractWe continue the study of positively ordered monoids (P.O.M.'s). We prove that injective P.O.M.'s are the retracts of the powers of P̄ = [0, ∞]. We also characterize the natural P.O.M.-homomorphism from a given refinement P.O.M. to its bidual, with e.g. applications to decomposition spaces. As another application, we prove that a refinement P.O.M. admits a ‘Banach limit’ if and only if it embeds into a power of P