有序代数的范类观点
摘要：有关有序$Sigma$-代数的经典变种与有限性monads之间存在双射对应已经是众所周知的事实。我们在此提出了类似的结论，即由$Sigma$-术语之间的不等式给出的类别也与$mathsf{Pos}$上的强有限性monads之间存在双射对应关系。也就是说，这些强有限性monads保持自反的coinserters。我们得出结论，强有限性monads具有coinserter表示，类似于Kelly和Power因finitary monads的coequaliser表示。我们还展示了这些monads是$mathsf{Set}$上的finitary monads的提升。
作者：J. Ad''amek, M. Dost''al and J. Velebil
论文ID：2011.13839
分类：Category Theory
分类简称：math.CT
提交时间：2021-01-07