代数代数的方面
摘要：对于Kock-Z"oberlein在偏序加强范畴上的单子态，我们研究了位于Kleisli范畴和Eilenberg-Moore范畴之间的重要类别。首先，我们给出了类似于域论的自由代数的表征。其次，我们研究了加权（共）极限的存在性，包括抽象层面和特定的域论类别，如代数格范畴。最后，我们应用这些结果给出了拓扑空间范畴中滤子单子态的Kleisli范畴的幂等分裂完备描述。
作者：Dirk Hofmann and Lurdes Sousa
论文ID：1701.03778
分类：Category Theory
分类简称：math.CT
提交时间：2023-06-22