有序代数的种类作为范畴
摘要：有序代数品种的分类是通过项之间的不等式呈现的有序（有限）代数的一种类别。我们对以偏序集类别丰富的类别进行了特征化，这些类别等同于一种品种。这与劳韦尔对普通代数品种的经典特征化非常相似。我们还证明，有序代数的各种品种正是离散劳韦尔理论的对偶自由补完，在筛选余极限下的自由补完。
作者：Jiv{r}''i Ad''amek, Jiv{r}''i Rosick''y
论文ID：2110.06613
分类：Category Theory
分类简称：math.CT
提交时间：2023-04-03