Please use this identifier to cite or link to this item:
Title: Quasivarieties and varieties of ordered algebras : Regularity and exactness
Authors: Kurz, Alexander Herbert
Velebil, J.
First Published: 18-Jan-2016
Citation: Mathematical Structures in Computer Science, 2016 (FirstView Article)
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).
DOI Link: 10.1017/S096012951500050X
ISSN: 0960-1295
eISSN: 1469-8072
Version: Post-print
Status: Peer-reviewed
Type: Journal Article
Rights: Copyright © Cambridge University Press 2016. Deposited with reference to the publisher’s archiving policy available on the SHERPA/RoMEO website.
Description: 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.
Appears in Collections:Published Articles, Dept. of Computer Science

Files in This Item:
File Description SizeFormat 
Ordered-algebras-5.pdfPost-review (final submitted)909.96 kBAdobe PDFView/Open

Items in LRA are protected by copyright, with all rights reserved, unless otherwise indicated.