Document Type
Article
Publication Date
2017
Abstract
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 cocompletions of their theories under sifted colimits (again, in the enriched sense).
Recommended Citation
A. Kurz and J. Velebil, “Quasivarieties and varieties of ordered algebras: regularity and exactness,” Mathematical Structures in Computer Science, vol. 27, no. 07, pp. 1153–1194, Oct. 2017. DOI: 10.1017/S096012951500050X
Copyright
Cambridge University Press
Included in
Algebra Commons, Logic and Foundations Commons, Other Computer Engineering Commons, Other Computer Sciences Commons, Other Mathematics Commons
Comments
This is a pre-copy-editing, author-produced PDF of an article accepted for publication in Mathematical Structures in Computer Science, volume27, number 7, in 2017 following peer review. The definitive publisher-authenticated version is available online at DOI: 10.1017/S096012951500050X.