×
R·布莱克威尔。;G.M.凯利。;鲍尔，A.J。

二维monad理论。 （英语） Zbl 0675.18006号

J.纯应用。代数 59，第1期，1-41页（1989年）.
这是关于具有结构的范畴的泛代数的一系列文章中的第一篇（包括并扩展了Kelly的学生R.Blackwell和G.Bird的未发表的博士论文材料）。中心部分是适当的2范畴上的排名单体T的2范畴T-Alg代数。这里的代数是严格的，而态射只是在给定的相干同构之前保持动作。
T-Alg中存在某些2类极限和结肠炎。这些足以暗示（借助于“柔性”代数）T-Alg作为一个双范畴的共完备性。证明了每个“代数”2-函子T-Alg（to S）-Alg在双范畴意义上都允许左伴随。
审核人：R.H.街

引用于6评论
引用于130文件

MSC公司：

18立方厘米 单子（=标准结构，三元组或三元组），单子代数，单子的同调函子和派生函子
18D05日 双类别，（2）-类别，双类别和泛化（MSC2010）

关键词：

单子;教条;具有结构范畴的泛代数;2-类别;秩单体的代数;双类别的
PDF格式BibTeX公司 XML格式引用
\textit{R.Blackwell}等人，J.Pure Appl。代数59，第1号，1-41（1989；Zbl 0675.18006）
全文： 内政部

参考文献：

[1] 阿德尔曼，M.，阿贝尔类别优于加性类别，J.Pure Appl。代数，3103-117（1973）·Zbl 0287.18009号
[2] Bénabou，J.，《双类别导论》（数学讲义，47（1967），施普林格：施普林格柏林），1-77·Zbl 1375.18001号
[3] Bénabou，J.，《语料库相关理论》，C.R.Acad。科学。巴黎，281，831-834（1975），（Sér.A）·Zbl 0349.18005号
[4] Bird，G.J.，《本地可供选择类别的限制》（悉尼大学博士论文（1984））
[5] G.J.Bird、G.M.Kelly、A.J.Power和R.Street，两类的良好极限，J.Pure Appl。代数，出现。；G.J.Bird、G.M.Kelly、A.J.Power和R.Street，两类的良好极限，J.Pure Appl。代数，出现·Zbl 0687.18007号
[6] Blackwell，R.，《学说理论中的一些存在定理》（新南威尔士大学博士论文（1976））
[7] Dubuc，E.J.，《丰富范畴理论中的Kan扩展》（数学课堂讲稿，145（1970），施普林格：施普林格-柏林）·Zbl 0228.18002号
[8] 杜布克，E.J。；Kelly，G.M.，《拓扑相对于范畴或图的代数表示法》，J.Algebra，81，420-433（1983）·Zbl 0516.18009号
[9] 艾伦伯格，S。；Kelly，G.M.，泛函演算的推广，J.代数，3366-375（1966）·Zbl 0146.02501号
[10] 艾伦伯格，S。；Kelly，G.M.，《闭范畴》，（《范畴代数汇编》，La Jolla，1965（1966），Springer:Springer Berlin），421-562·Zbl 0192.10604号
[11] Fox，T.，余代数和笛卡尔范畴，《公共代数》，4665-667（1976）·兹伯利0338.18005
[12] A.Joyal和R.Street，编制中的编织张量类别。；A.Joyal和R.Street，编制中的编织张量类别·Zbl 0817.18007号
[13] Kelly，G.M.，多变量函数微积分I（数学讲义，281（1972），施普林格：施普林格-柏林），66-105·Zbl 0243.18015号
[14] Kelly，G.M.，《连贯性的抽象方法》（数学讲义，281（1972），施普林格：施普林格柏林），106-147·兹比尔0243.18016
[15] Kelly，G.M.，一个简化定理（数学讲义，281（1972），施普林格：施普林格柏林），196-213·Zbl 0243.18017号
[16] Kelly，G.M.，《关于俱乐部和学说》（数学讲义，420（1974），施普林格：柏林施普林格出版社），181-256·Zbl 0334.18018号
[17] Kelly，G.M.，理论附加，（数学课堂讲稿，420（1974），施普林格：施普林格柏林），257-280·Zbl 0334.18004号
[18] Kelly，G.M.，松驰代数和分配律的相干条件，（数学讲义，420（1974），施普林格：施普林格-柏林），281-375·Zbl 0334.18014号
[19] Kelly，G.M.，《类别上的非一元结构示例》，J.Pure Appl。代数，18，59-66（1980）·Zbl 0436.18006号
[20] Kelly，G.M.，《自由代数、自由幺半群、共线、相关滑轮等超限结构的统一处理》，Bull。南方的。数学。Soc.，22，1-83（1980）·Zbl 0437.18004号
[21] Kelly，G.M.，《丰富范畴理论的基本概念》，（伦敦数学学会讲座笔记系列，64（1982），剑桥大学出版社：剑桥大学出版社）·Zbl 0709.18501号
[22] Kelly，G.M.，《在丰富的上下文中由有限极限定义的结构》I，Cahiers Topologie Géom。Différentielle，23岁，3-42岁（1982年）·Zbl 0538.18006号
[23] Kelly，G.M.，《关于2类极限的初步观察》，公牛。南方的。数学。《社会学杂志》，39，301-317（1989）·Zbl 0657.18004号
[24] G.M.Kelly，《2类等价性、双代表性和双点》，正在编写中。；G.M.Kelly，准备中的2类等效物、双表示和双连接点。
[25] G.M.Kelly，《俱乐部的抽象概念，准备中》。；G.M.Kelly，关于俱乐部的抽象概念，在准备中。
[26] Kelly，G.M。；Lane，S.Mac，《封闭类别中的一致性》，勘误表，1219（1971）·Zbl 0212.35001号
[27] G.M.Kelly和J.Power，《关于有限丰富单子及其表示的准备》。；G.M.Kelly和J.Power，《关于有限丰富单子及其表示的准备》·兹比尔0779.18003
[28] Kelly，G.M。；Street，R.，《两类要素的回顾》（数学课堂讲稿，420（1974），施普林格：施普林格柏林），75-103·Zbl 0334.18016号
[29] Kock，A.，交换单子生成的闭范畴，J.Austral。数学。《社会学杂志》，第12期，第405-424页（1971年）·Zbl 0244.18007号
[30] A.Kock，《结构与单元相连的单子》，奥胡斯大学预印本系列1972/73，第35期。；A.Kock，结构与单位伴随的Monads，奥胡斯大学，预印本系列1972/73，第35期。
[31] Lawvere，F.W.，代数理论的函数语义，Proc。美国国家科学院。科学。美国，50869-872（1963）·Zbl 0119.25901号
[32] Linton，F.E.J.，《相对功能语义学：伴随结果》，（数学讲义，99（1969），施普林格：施普林格-柏林），384-418·Zbl 0227.18004号
[33] 莱恩，S.Mac；Paré，R.，双类别和索引类别的一致性，J.Pure Appl。代数，37，59-80（1985）·Zbl 0567.18003号
[34] Street，R.，《单子的形式理论》，J.Pure Appl。代数，2149-168（1972）·Zbl 0241.18003号
[35] Street，R.，2类中的纤维化和Yoneda引理，（数学讲义，420（1974），施普林格：施普林格-柏林），104-133·Zbl 0327.18006号
[36] Street，R.，《两类纤维》，Cahiers Topologie Géom。Différentielle，21，111-160（1980）·Zbl 0436.18005号
[37] Zöberlein，V.，Doktrinen auf 2-Kategorien（1974年），杜塞尔多夫大学
[38] Zöberlein，V.，《两类学说》，数学。Z.，148，267-279（1976）·Zbl 0311.18005号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。