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 条

[21] Finitary Lie algebras
Baranov, AA
Strade, H
JOURNAL OF ALGEBRA, 2002, 254 (01) : 173 - 211
[22] FREE MODULAR LATTICE ON 4 GENERATORS IS NOT FINITELY PRESENTABLE
EVANS, T
HONG, DX
NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1972, 19 (06): : A679 - &
[23] The Poset of All Logics III: Finitely Presentable Logics
Jansana, Ramon
Moraschini, Tommaso
STUDIA LOGICA, 2021, 109 (03) : 539 - 580
[24] Not Every Splitting Heyting or Interior Algebra is Finitely Presentable
Alex Citkin
Studia Logica, 2012, 100 : 115 - 135
[25] Not Every Splitting Heyting or Interior Algebra is Finitely Presentable
Citkin, Alex
STUDIA LOGICA, 2012, 100 (1-2) : 115 - 135
[26] Subalgebras of FA-presentable algebras
Cain, Alan J.
Ruskuc, Nik
ALGEBRA UNIVERSALIS, 2014, 72 (02) : 101 - 123
[27] ADJUNCTIONS WHOSE COUNITS ARE COEQUALIZERS, AND PRESENTATIONS OF FINITARY ENRICHED MONADS
KELLY, GM
POWER, AJ
JOURNAL OF PURE AND APPLIED ALGEBRA, 1993, 89 (1-2) : 163 - 179
[28] Subalgebras of FA-presentable algebras
Alan J. Cain
Nik Ruškuc
Algebra universalis, 2014, 72 : 101 - 123
[29] The Poset of All Logics III: Finitely Presentable Logics
Ramon Jansana
Tommaso Moraschini
Studia Logica, 2021, 109 : 539 - 580
[30] Finitely presentable objects in (Cb-Sets)fs
Haddadi, Mahdieh
Keshvardoost, Khadijeh
Hosseinabadi, Aliyeh
CATEGORIES AND GENERAL ALGEBRAIC STRUCTURES WITH APPLICATIONS, 2024, 21 (01)

← 1 2 3 4 5 →