2020/03/04 by Jacobs, Bart, Staton, Sam
#Category Theory (math.CT) #FOS: Mathematics #Probability (math.PR)
paper · doi:10.48550/arxiv.2003.01964
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.