De Finetti’s Construction as a Categorical Limit - Coalgebraic Methods in Computer Science 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

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.
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)

Licence

Attribution

Identifiers

Cite

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⟩
25 View
21 Download

Altmetric

Share

Gmail Facebook X LinkedIn More