×

关于Kleisli范畴中的极限和共线。 (英语) Zbl 0533.18006号

作者研究了以下问题:给定一个范畴({mathcalA})上的一个单数(三元组)(R=(R,alpha,beta)),用S表示从Eilenberg-Moore范畴({MathcalA{R\)到Kleisli范畴({macalA}_R\)的正则函子。在\({mathcal A}\)、\({mathcal A{^R\)和S上查找条件,使类别\({mathcal A}_R\)分别是余完备的。完成。
建立了以下类型的结果:对于范畴\({\mathcal a}\)和\({\mathcal a}^R\),在一定假设下,S的左伴随的存在等价于\({\mathcal a}_R\)的共完全性。在范畴({mathcalA})和遗忘函子(U_R:{mathcal a}_R to{mathcial a}
本文的最后一部分讨论了单子的基函子R的左伴随的存在性。所得结果允许对关于伴随函子提升的Tholen定理进行简单证明。
审核人:H.克莱斯利

理学硕士:

18个C20 单体的Eilenberg-Moore和Kleisli构造
18A35型 允许极限的范畴(完备范畴),保持极限的函子,完备
18立方厘米 单子(=标准结构,三元组或三元组),单子代数,单子的同调函子和派生函子
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] 1 Adamek,J.,《重访代数的Colimits》,布尔。澳大利亚。数学。《社会分类》第15卷(1976年)。MR 430025 |兹比尔0365.18007·Zbl 0365.18007号 ·doi:10.1017/S0004972700010704
[2] 2 Adamek,J.和Trnkova,V.,《品种和机器》,货币技术报告78-6,马萨诸塞大学阿姆赫斯特分校(1978年)。
[3] 3 Adamek,J.&Koubek,V.,《代数共线的简单构造》,即将出版·Zbl 0446.18003号
[4] 4 Andreka,H.,Nemeti,I.&Sain,I.,《锥内射性和类别中的一些Birkhoff型定理》,Proc。科尔。普遍代数(Esztergom 1977),Coll。Soc.J.Bolyai,北荷兰,即将亮相·Zbl 0366.08001号
[5] 5 Barr,M.,《等式和自由三元组》,数学。Z.116(1970)。文章|MR 272849|Zbl 0194.01701·Zbl 0194.01701号 ·doi:10.1007/BF01111838
[6] 6艾伦伯格,S.&摩尔,J.,《伴随函子和三元组》,伊利诺伊州数学杂志。9(1965年)。MR 184984 | Zbl 0135.02103·Zbl 0135.02103号
[7] 7 Johnstone,P.T.,代数范畴的伴随提升定理,布尔。伦敦数学。Soc.7(1975)。MR 390018 |兹比尔0315.18004·Zbl 0315.18004号 ·doi:10.1112/blms/7.3.294
[8] 8 Kleisli,H.,每个标准结构都是由一对伴随函子诱导的,Proc。《A.M.S.16》(1965年)。MR 177024 | Zbl 0138.01704·Zbl 0138.01704号 ·doi:10.2307/2034693
[9] 9 Koubek,V.&Reiterman,J.,自由代数的范畴构造,部分代数的共线和完备,J.Pure Appl。《代数14》(1979)。MR 524187 | Zbl 0403.18002·Zbl 0403.18002号 ·doi:10.1016/0022-4049(79)90007-0
[10] 10 Linton,F.E.J.,《代数范畴中的余等式》,数学课堂讲稿。80,施普林格(1969)。MR 244341 | Zbl 0181.02902·Zbl 0181.02902号
[11] 11 Maclane,S.,工作数学家的类别,Springer GTM 6 1971。MR 354798 |兹比尔0705.18001·Zbl 0705.18001号
[12] 12 Manes,E.G.,代数理论,Springer GTM 261976年。MR 419557 | Zbl 0353.18007·Zbl 0353.18007号
[13] 13 Tholen,W.,Adjungierte Dreiecke,Colimites und Kan-Erweitérungen,数学。《Ann.217》(1975年)。MR 393172 | Zbl 0325.18002·Zbl 0325.18002号 ·doi:10.1007/BF01351290
[14] 14 Tholen,W.,《论Wyler的拉紧升力定理》,Gen.Top。申请。8 ( 1975 ). Zbl 0374.18002号·Zbl 0374.18002号 ·doi:10.1016/0016-660X(78)90050-8
[15] 15 Tholen,W.、Wischnewsky,M.B.和Wolff,H.,《半拓扑函子III:单子和伴随函子的提升》,研讨会4,Fachbereich für Math。,Fernuniversität Hagen(1978年)·Zbl 0428.18003号
[16] 16 Ulmer,F.,稠密和相对伴随函子的性质,J.代数8(1968)。MR 222138 | Zbl 0182.34403·Zbl 0182.34403号 ·doi:10.1016/0021-8693(68)90036-7
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。