Some remarks on finitary and iterative monads

被引：4
|
作者：
Adámek, J [1 ]
Milius, S [1 ]
Velebil, J [1 ]
机构：
[1] Tech Univ Carolo Wilhelmina Braunschweig, Inst Theoret Comp Sci, D-3300 Braunschweig, Germany
来源：
APPLIED CATEGORICAL STRUCTURES | 2003年 / 11卷 / 06期
关键词：
monad; monoid; Kleisli triple; COEQUALIZERS;
D O I：
10.1023/A:1026153529959
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
For every locally finitely presentable category A we introduce finitary Kleisli triples on A and show that they bijectively correspond to finitary monads on A. We illustrate this on free monads and free iterative monads.
引用
收藏
页码：521 / 541
页数：21
相关论文
共 50 条
  • [1] Some Remarks on Finitary and Iterative Monads
    Jiří Adámek
    Stefan Milius
    Jiří Velebil
    Applied Categorical Structures, 2003, 11 : 521 - 541
  • [2] SOME REMARKS ON FINITARY METHOD
    NAKAZIMA, S
    PROCEEDINGS OF THE JAPAN ACADEMY, 1962, 38 (08): : 484 - &
  • [3] On the monadicity of finitary monads
    Lack, S
    JOURNAL OF PURE AND APPLIED ALGEBRA, 1999, 140 (01) : 65 - 73
  • [4] 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
  • [5] FINITELY PRESENTABLE ALGEBRAS FOR FINITARY MONADS
    Adamek, J.
    Milius, S.
    Sousa, L.
    Wissmann, T.
    THEORY AND APPLICATIONS OF CATEGORIES, 2019, 34 : 1179 - 1195
  • [6] Lawvere theories, finitary monads and Cauchy-completion
    Garner, Richard
    JOURNAL OF PURE AND APPLIED ALGEBRA, 2014, 218 (11) : 1973 - 1988
  • [7] Iterative reflections of monads
    Adamek, Jiri
    Milius, Stefan
    Velebil, Jiri
    MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2010, 20 (03) : 419 - 452
  • [8] 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
  • [9] Completely iterative algebras and completely iterative monads
    Milius, S
    INFORMATION AND COMPUTATION, 2005, 196 (01) : 1 - 41
  • [10] Equational properties of iterative monads
    Adamek, Jiri
    Milius, Stefan
    Velebil, Jiri
    INFORMATION AND COMPUTATION, 2010, 208 (12) : 1306 - 1348
12345