Finitely Presentable Algebras For Finitary Monads

Finitely Presentable Algebras For Finitary Monads

For finitary regular monads T on locally finitely presentable categories we characterize the finitely presentable objects in the category of T-algebras in the style known from general algebra: they are precisely the algebras presentable by finitely many generators and finitely many relations.

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Theory and applications of categories 2019-01, Vol.34 (37), p.1179
Hauptverfasser: Adamek, J, Milius, S, Sousa, L, Wiissmann, T
Format: Artikel
Sprache:eng
Schlagworte:
Algebra
Finite element analysis
Mathematical functions
Theory
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:For finitary regular monads T on locally finitely presentable categories we characterize the finitely presentable objects in the category of T-algebras in the style known from general algebra: they are precisely the algebras presentable by finitely many generators and finitely many relations.
ISSN:1201-561X