Ordered-algebras-5.pdf (909.96 kB)
Download file

Quasivarieties and varieties of ordered algebras : Regularity and exactness

Download (909.96 kB)
journal contribution
posted on 15.02.2016, 11:57 by Alexander Herbert Kurz, J. Velebil
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).

History

Citation

Mathematical Structures in Computer Science, 2016 (FirstView Article)

Author affiliation

/Organisation/COLLEGE OF SCIENCE AND ENGINEERING/Department of Computer Science

Version

AM (Accepted Manuscript)

Published in

Mathematical Structures in Computer Science

issn

0960-1295

eissn

1469-8072

Acceptance date

01/09/2015

Copyright date

2016

Available date

18/07/2016

Publisher version

http://journals.cambridge.org/action/displayAbstract?fromPage=online&aid=10119880&fulltextType=RA&fileId=S096012951500050X

Notes

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

en

Usage metrics

Categories

Keywords

Exports