对Giry代数进行表征为共分离超凸空间
摘要：使用超凸空间研究Giry单子范畴中定义的Eilenberg-Moore代数。超凸空间范畴具有一个子范畴，由实数直线的一个点扩展构成，并且由该范畴产生的截断Yoneda嵌入是全的，尽管不是忠实的。通过限制那些可以通过实数直线的一个点扩展来分隔的超凸空间，截断Yoneda嵌入是全且忠实的。这使得可以构造一个重心映射来因式分解Giry单子范畴，并获得一个范畴的等价性。
作者：Kirk Sturtz
论文ID：1907.03209
分类：Category Theory
分类简称：math.CT
提交时间：2022-02-24