HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/hal-03232351
Contributor : Hal Ifip Connect in order to contact the contributor
Submitted on : Friday, May 21, 2021 - 2:57:56 PM
Last modification on : Friday, May 21, 2021 - 3:05:06 PM
Long-term archiving on: : Sunday, August 22, 2021 - 6:49:16 PM

File

 Restricted access
To satisfy the distribution rights of the publisher, the document is embargoed until : 2023-01-01

Please log in to resquest access to the document

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

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⟩

Share

Metrics

Record views

13