A categorical view of varieties of ordered algebras

J. Adámek, M. Dostál, J. Velebil

It is well known that classical varieties of $\Sigma$-algebras correspond bijectively to finitary monads on $\mathsf{Set}$. We present an analogous result for varieties of ordered $\Sigma$-a…