On the monad that came to be called the Giry monad:

Created on June 9, 2020 at 11:36:32. See the history of this page for a list of all contributions to it.