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 条

[1] On the monadicity of finitary monads
Lack, S
JOURNAL OF PURE AND APPLIED ALGEBRA, 1999, 140 (01) : 65 - 73
[2] Finitary monads on the category of posets
Adamek, Jiri
Ford, Chase
Milius, Stefan
Schroeder, Lutz
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2021, 31 (07) : 799 - 821
[3] Some remarks on finitary and iterative monads
Adámek, J
Milius, S
Velebil, J
APPLIED CATEGORICAL STRUCTURES, 2003, 11 (06) : 521 - 541
[4] Some Remarks on Finitary and Iterative Monads
Jiří Adámek
Stefan Milius
Jiří Velebil
Applied Categorical Structures, 2003, 11 : 521 - 541
[5] A twisted invariant for finitely presentable groups
Morifuji, T
PROCEEDINGS OF THE JAPAN ACADEMY SERIES A-MATHEMATICAL SCIENCES, 2000, 76 (09) : 143 - 145
[6] FINITELY PRESENTABLE MORPHISMS IN EXACT SEQUENCES
Hebert, Michel
THEORY AND APPLICATIONS OF CATEGORIES, 2010, 24 : 209 - 220
[7] On the difficulty of presenting finitely presentable groups
Bridson, Martin R.
Wilton, Henry
GROUPS GEOMETRY AND DYNAMICS, 2011, 5 (02) : 301 - 325
[8] Filling Length in Finitely Presentable Groups
Steve M. Gersten
Tim. R. Riley
Geometriae Dedicata, 2002, 92 : 41 - 58
[9] FINITELY DEPENDENT PROCESSES ARE FINITARY
Spinka, Yinon
ANNALS OF PROBABILITY, 2020, 48 (04): : 2088 - 2117
[10] FREE INVERSE SEMIGROUPS ARE NOT FINITELY PRESENTABLE
SCHEIN, BM
ACTA MATHEMATICA ACADEMIAE SCIENTIARUM HUNGARICAE, 1975, 26 (1-2): : 41 - 52

← 1 2 3 4 5 →