The Giry monad consists of an endofunctor, $P$, on the category of measureable spaces $\mathcal{M}$, as well as two natural transformations $\mu, \eta$ known as the product and unit respectively. $P$ maps a measurable space, $X$, to the measurable space $P(X)$ of all probability measures on $X$. The unit takes a point to its point measure, and the product takes a measure on the space of measures to its integral. Thus the Giry monad captures probability measures. The question I have is whether or not this is also a comonad with suitably chosen natural transformations? If so, what are those natural transformations?
If the endofunctor does not admit a comonad structure, is there a monad that is also a comonad that captures probability measures?
It is hard to say what the exact meaning is of "capturing probability measures". One needs to take the Giry monad and abstract it away from measurable spaces and Polish spaces, and perhaps set it in a category of categories where its structures can be generalized. Abstracting probability theory might have to do with the factorizations of the Giry monad, or defining a different monad that doesn't have anything to do with measureable spaces. For instance, I believe we should be able to define a monad on the category of finite categories that could capture some aspects of probability measures.
I realize that this question I have asked, about abstracting the Giry Monad, is a much deeper question in probability theory and perhaps needs its own question.