Varieties of ordered algebras as categories

Varování

Publikace nespadá pod Filozofickou fakultu, ale pod Přírodovědeckou fakultu. Oficiální stránka publikace je na webu muni.cz.

Autoři	ADÁMEK Jiří ROSICKÝ Jiří
Rok publikování	2023
Druh	Článek v odborném periodiku
Časopis / Zdroj	Algebra universalis
Fakulta / Pracoviště MU	Přírodovědecká fakulta
Citace
www	https://doi.org/10.1007/s00012-023-00806-8
Doi	http://dx.doi.org/10.1007/s00012-023-00806-8
Klíčová slova	Ordered algebra; Variety; Abstractly finite object; Reflexive coinserter
Popis	A variety is a category of ordered (finitary) algebras presented by inequations between terms. We characterize categories enriched over the category of posets which are equivalent to a variety. This is quite analogous to Lawvere’s classical characterization of varieties of ordinary algebras. We also study the relationship of varieties to discrete Lawvere theories, and varieties as concrete categories over Pos.
Související projekty:	Injektivita a monády v algebře a topologii Enriched categories and their applications