Varieties of ordered algebras as categories

Logo poskytovatele
Logo poskytovatele

Varování

Publikace nespadá pod Fakultu sportovních studií, 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:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.

Další info