Finitely Presentable Algebras For Finitary Monads

2019/09/05 by Adámek, Jiří, Milius, Stefan, Sousa, Lurdes +1
#Category Theory (math.CT) #FOS: Mathematics

paper · doi:10.48550/arxiv.1909.02524

Abstract

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.

Related

• Finitary Monads on the Category of Posets
• On Finitary Functors
• Reiterman's Theorem on Finite Algebras for a Monad
• Higher Theories and Monads
• Finite coproducts, coregularity and coexactness for profinite interior algebras