Quasivarieties and varieties of ordered algebras: regularity and exactness
Quasivarieties and varieties of ordered algebras: regularity and exactness
We characterise quasivarieties and varieties of ordered algebras categorically in terms of regularity, exactness and the existence of a suitable generator. The notions of regularity and exactness need to be understood in the sense of category theory enriched over posets. We also prove that finitary varieties of ordered algebras are …