Codensity and the Giry monad (Q890663)

The Giry monad is a very elegant formalism encompassing many ideas of measure space theory. The idea goes back to Lawvere and Giry, and is followed up by various authors. Generally, the theory of monads is well-developed, and in particular the production of monads as the codensities of a functor is established. Still generally, but in the realm of measure space theory, the duality between measures and integration operators is well-known. The article, which is extremely well-written, considers a finitely additive version and a countably additive version of the Giry monad, presenting each in terms of integration operators. This then leads to identifying the monads as codensity monads of functors on convex sets.