论文标题
posets类别
Finitary Monads on the Category of Posets
论文作者
论文摘要
$ \ mathsf {pos} $上的finarity monads被描述为恰恰是代数的自由代数单月。这些是上下文中不一致指定的有序代数类别。 $ \ mathsf {pos} $上的富含限制的单子是特征的：在这里，我们与各种相干代数合作，这意味着它们的操作是单调的。
Finitary monads on $\mathsf{Pos}$ are characterized as the precisely the free-algebra monads of varieties of algebras. These are classes of ordered algebras specified by inequations in context. Analagously, finitary enriched monads on $\mathsf{Pos}$ are characterized: here we work with varieties of coherent algebras which means that their operations are monotone.
