De Finetti's Construction as a Categorical Limit

@inproceedings{Jacobs2020DeFC,
  title={De Finetti's Construction as a Categorical Limit},
  author={B. Jacobs and S. Staton},
  booktitle={CMCS},
  year={2020}
}
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. 
2 Citations
De Finetti's Theorem in Categorical Probability
  • PDF
A Monad for Probabilistic Point Processes
  • 2
  • PDF

References

SHOWING 1-10 OF 22 REFERENCES
Dirichlet is Natural
  • 8
  • Highly Influential
  • PDF
Summationsmethoden und Momentfolgen. I
  • 150
  • Highly Influential
  • PDF
Funzione caratteristica di un fenomeno aleatorio
  • 302
  • Highly Influential
A channel-based perspective on conjugate priors
  • B. Jacobs
  • Computer Science, Mathematics
  • Mathematical Structures in Computer Science
  • 2020
  • 7
  • PDF
Semantics of higher-order probabilistic programs with conditioning
  • 14
  • PDF
A synthetic approach to Markov kernels, conditional independence, and theorems on sufficient statistics
  • T. Fritz
  • Mathematics, Computer Science
  • ArXiv
  • 2019
  • 23
  • PDF
Structured probabilistic reasoning
  • forthcoming book, see http://www.cs.ru.nl/B.Jacobs/PAPERS/ProbabilisticReasoning.pdf,
  • 2019
Structured probabilistic reasoning. forthcoming book
  • 2019
The zero-one laws of Kolmogorov and Hewitt--Savage in categorical probability
  • 5
  • PDF
...
1
2
3
...