偏序集上的有穷单子范畴
摘要：在$mathsf{Pos}$上，有限单子是被定义为代数变量种类的精确自由代数单子。这些是通过上下文中的不等式来指定的有序代数的类。类似地，在$mathsf{Pos}$上定义了有限富集单子的特征：在这里，我们处理的是一类连贯代数，意味着它们的运算是单调的。
作者：Jiv{r}''i Ad''amek, Chase Ford, Stefan Milius and Lutz Schr"oder
论文ID：2011.14796
分类：Category Theory
分类简称：math.CT
提交时间：2020-12-01