强有限单子与连续代数
摘要：完全偏序集范畴上的一个单子范畴是强有限的，如果它是其在有限离散偏序集上的限制的扩张。我们证明这些单子范畴与连续代数的多样性存在双射对应关系。这些连续代数是在偏序集上起作用的代数，其中操作是连续的。 我们还证明了在完全偏序集范畴中，事实上在任何笛卡尔封闭范畴中，有限积与有向余极限互换。我们得出了强有限性的一个特征，即对有向余极限和反射插入集合的保存。
作者：Jiv{r}''i Ad''amek, Matv{e}j Dost''al, Jiv{r}''i Velebil
论文ID：2301.05730
分类：Category Theory
分类简称：math.CT
提交时间：2023-01-18