Article contents
A categorical view of varieties of ordered algebras
Published online by Cambridge University Press: 10 January 2022
Abstract
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$
-algebras, that is, categories of algebras presented by inequations between
$\Sigma$
-terms. We prove that they correspond bijectively to strongly finitary monads on
$\mathsf{Pos}$
. That is, those finitary monads which preserve reflexive coinserters. We deduce that strongly finitary monads have a coinserter presentation, analogous to the coequalizer presentation of finitary monads due to Kelly and Power. We also show that these monads are liftings of finitary monads on
$\mathsf{Set}$
. Finally, varieties presented by equations are proved to correspond to extensions of finitary monads on
$\mathsf{Set}$
to strongly finitary monads on
$\mathsf{Pos}$
.
- Type
- Special Issue: The Power Festschrift
- Information
- Mathematical Structures in Computer Science , Volume 32 , Special Issue 4: The Power Festschrift , April 2022 , pp. 349 - 373
- Copyright
- © The Author(s), 2022. Published by Cambridge University Press
Footnotes
J. Adámek and M. Dostál acknowledge the support of the grant No. 19-0092S of the Czech Grant Agency.
References
- 4
- Cited by