Quasivarieties and varieties of ordered algebras : Regularity and exactness
journal contribution
posted on 2016-02-15, 11:57 authored by Alexander Herbert Kurz, J. VelebilWe 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).
History
Citation
Mathematical Structures in Computer Science, 2016 (FirstView Article)Author affiliation
/Organisation/COLLEGE OF SCIENCE AND ENGINEERING/Department of Computer ScienceVersion
- AM (Accepted Manuscript)
Published in
Mathematical Structures in Computer Scienceissn
0960-1295eissn
1469-8072Acceptance date
2015-09-01Copyright date
2016Available date
2016-07-18Publisher DOI
Publisher version
http://journals.cambridge.org/action/displayAbstract?fromPage=online&aid=10119880&fulltextType=RA&fileId=S096012951500050XNotes
The file associated with this record is under a 6-month embargo from publication in accordance with the publisher's self-archiving policy. The full text may be available through the publisher links provided above.Language
enAdministrator link
Usage metrics
Categories
No categories selectedKeywords
Licence
Exports
RefWorks
BibTeX
Ref. manager
Endnote
DataCite
NLM
DC