Codensity and the Giry monad — mentioned by tel

Wed, 05 Nov 2014 20:24:10 GMT

Here are a few examples. Here's operational transforms from CT [0][1]. Here's probability theory (and thus much of ML) [2][3][4]. Lambda calculus arises as a certain kind of category. Operads form a model for wiring diagrams. Database schemata are categories [5]. [0] http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.46.7744 [1] http://bosker.wordpress.com/2012/05/10/on-editing-text/ [2] ncatlab.org/nlab/show/Giry's+monad [3] arxiv.org/pdf/1410.4432v1.pdf [4] https://golem.ph.utexas.edu/category/2014/10/where_do_probability_measures.html#more [5] http://arxiv.org/abs/1302.6946

Paper and discussion history. A mention is not an endorsement.

Codensity and the Giry monad · HackerPapers discussions

Codensity and the Giry monad — mentioned by tel