Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
It looks like Fritz addressed this a while ago in Convex Spaces I: Definition and Examples. It is $\mathcal{G}_{\mathrm{fin}}$-algebra shown under Definition 3.3.