论文标题
de Finetti的构造是一个类别的限制
De Finetti's construction as a categorical limit
论文作者
论文摘要
本文以现代的分类术语重新制定了概率理论的经典结果：De Finetti的代表定理被重新描述为Giry Monad Kleisli类别中一系列有限空间的限制性陈述。这种新的限制用于确定最终的可交换山地。
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.
