De Finetti's construction as a categorical limit
Abstract
This paper reformulates a classical result in probability theory from the 1930s in modern categorical terms: de Finetti's representation theorem is redescribed as limit statement for a chain of finite spaces in the Kleisli category of the Giry monad. This new limit is used to identify among exchangeable coalgebras the final one.
 Publication:

arXiv eprints
 Pub Date:
 March 2020
 arXiv:
 arXiv:2003.01964
 Bibcode:
 2020arXiv200301964J
 Keywords:

 Mathematics  Category Theory;
 Mathematics  Probability
 EPrint:
 In proceedings of CMCS 2020