On the Giry monad (probability as a codensity monad):
Created on June 1, 2022 at 04:46:48. See the history of this page for a list of all contributions to it.