3
$\begingroup$

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.

$\endgroup$
  • 3
    $\begingroup$ As I suggested on your question about domains, I think you should include more background in your questions: definitions (i.e. of the Giry monad and what it means to "capture probability measures"), maybe some motivation, and what would consitute a reasonable answer if the Giry monad is not a comonad. $\endgroup$ – Gabriel C. Drummond-Cole Feb 11 '18 at 7:13
  • $\begingroup$ I am not even a probability theorist and I perfectly well understand the question, and I think it is interesting. I find it amazing that it got closed down. I would like to hear from the people who decided to close it. Did you really think about this carefully? $\endgroup$ – Andrej Bauer Feb 11 '18 at 20:55
  • 1
    $\begingroup$ @AndrejBauer did you read the version before the edit? $\endgroup$ – Gabriel C. Drummond-Cole Feb 11 '18 at 22:54
  • 1
    $\begingroup$ Now I did. I'm glad to see the system of closing and reopening is working! $\endgroup$ – Andrej Bauer Feb 12 '18 at 7:11
3
$\begingroup$

The Giry monad is not a comonad because it doesn't admit a counit.


Let $P$ be the Giry endofunctor, which assigns to a space $X$ the (suitably topologized) space of probability measures on the Borel subsets of $X$.

For $X$ a single point $\{a\}$, the space $P(X)$ is a single point (with element the trivial measure $\delta$). For $Y$ the discrete set $\{a_0,a_1\}$, it is straightforward to verify that $P(Y)$ is homeomorphic to $[0,1]$, with the measure $\mu_p\in[0,1]$ putting measure $p$ on point $a_0$ and $(1-p)$ on point $a_1$.

Consider the constant map $c_i$ at point $a_i$ from $X$ to $Y$. Then $P(c_i)(\delta)=\delta_i$, the probability measure on $Y$ concentrated at $a_i$.

Now suppose there were a natural transformation $\epsilon:P\to\mathrm{id}$. Consider the two maps $\iota_0$ and $\iota_1$ from $X$ to $Y$. Naturality of $\epsilon$ and the previous paragraph show that $\epsilon(\delta_{i})=a_i$. There is a path in $P(Y)$ between $\delta_0$ and $\delta_1$, which are the endpoints of the interval. Then $\epsilon$ must take this path to a path in the discrete space $Y$ between $a_0$ and $a_1$, a contradiction.


I don't know how to answer your "if not" question at least partially because I don't know what it means to you for a comonad to capture probability measures.

$\endgroup$
  • 1
    $\begingroup$ One can also say that it is wrong to expect that there is a natural collection of maps from each simplex to the set of its vertices. $\endgroup$ – მამუკა ჯიბლაძე Feb 11 '18 at 20:54

Your Answer

By clicking "Post Your Answer", you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.