De Finetti’s Construction as a Categorical Limit - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2020

De Finetti’s Construction as a Categorical Limit

Bart Jacobs
  • Function : Author
  • PersonId : 976960
Sam Staton
  • Function : Author
  • PersonId : 1099422


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.
Fichier principal
Vignette du fichier
493577_1_En_6_Chapter.pdf (421.01 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-03232351 , version 1 (21-05-2021)





Bart Jacobs, Sam Staton. De Finetti’s Construction as a Categorical Limit. 15th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2020, Dublin, Ireland. pp.90-111, ⟨10.1007/978-3-030-57201-3_6⟩. ⟨hal-03232351⟩
19 View
6 Download



Gmail Facebook Twitter LinkedIn More