Varieties of ordered algebras as categories

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...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Algebra universalis 2023-05, Vol.84 (2), Article 9
Hauptverfasser:	Adámek, Jiří, Rosický, Jiří
Format:	Artikel
Sprache:	eng
Schlagworte:	Algebra Categories Mathematics Mathematics and Statistics Set theory
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!