FINITELY PRESENTABLE ALGEBRAS FOR FINITARY MONADS

被引：0
|
作者：
Adamek, J. [1 ]
Milius, S. [2 ]
Sousa, L. [3 ]
Wissmann, T.
机构：
[1] Czech Tech Univ, Fac Elect Engn, Dept Math, Prague, Czech Republic
[2] Friedrich Alexander Univ Erlangen Nurnberg, Informat Theoret Informat 8, Erlangen, Germany
[3] Univ Coimbra, Portugal & ESTGV, Polytech Inst Viseu, CMUC, Coimbra, Portugal
来源：
THEORY AND APPLICATIONS OF CATEGORIES | 2019年 / 34卷
关键词：
Finitely presentable object; finitely generated object; finitary functor; regular monad; COEQUALIZERS;
D O I：
暂无
中图分类号：
O29 [应用数学];
学科分类号：
070104 ;
摘要：
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.
引用
收藏
页码：1179 / 1195
页数：17
相关论文
共 50 条
12345