De Finetti's construction as a categorical limit
Category Theory
2020-09-29 v3 Probability
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.
Cite
@article{arxiv.2003.01964,
title = {De Finetti's construction as a categorical limit},
author = {Bart Jacobs and Sam Staton},
journal= {arXiv preprint arXiv:2003.01964},
year = {2020}
}
Comments
In proceedings of CMCS 2020