×

2类的灵活限制。 (英语) Zbl 0687.18007号

当观察集合的元素时,“相同”的原始概念是相等。在类别中工作时,同构对象被认为是相同的。然而,当类别本身相等时,它们被认为是相同的。因此,2类结构中感兴趣的是那些在等价条件下稳定的结构。特别是,这适用于限额。因此,2类的适当限制是评审员的加权胆红素[“双类纤维化”,Cah.Topologie Géom.Différ.21,111-159(1980;Zbl 0436.18005号); 更正,同上28、53-56(1987年;Zbl 0622.18005号)].
然而,经常发生的是,2范畴中的某些极限可以用更严格的普适性来构造,该普适性决定了它们的同构性,而不仅仅是等价性。当这种情况发生时,可以利用这种额外的精度来避免携带额外的一致性行李。
此处定义的灵活限制是更严格的类型,但提供了相应的双线性限制的实例;允许小灵活限制的2类自动允许小胆红素。均衡器和回调不灵活,而逗号对象则灵活。此外,柔性极限有一个合理的理论,它们存在于包含许多重要例子的一大类2范畴中,第三作者证明了每个具有有限双线性的双范畴与具有有限柔性极限的2范畴是双等价的。
审核人:R.H.街道

理学硕士:

18D05日 双类别,(2)-类别,双类别和泛化(MSC2010)
18A35型 允许极限的范畴(完备范畴),保持极限的函子,完备
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] 艾伯特,M.H。;Kelly,G.M.,一类结肠炎的闭合,J.Pure Appl。代数,51,1-17(1988)·Zbl 0656.18004号
[2] Bird,G.J.,《两类本地可供选择类别的限制》(悉尼大学博士论文(1984))
[3] G.J.Bird、G.M.Kelly、A.J.Power和R.H.Street,伪自然变换和松弛自然变换的严格自反的显式公式,准备中。;G.J.Bird、G.M.Kelly、A.J.Power和R.H.Street,《伪自然变换和松弛自然变换的严格反射的显式公式》,准备中。
[4] 布莱克威尔,R。;凯利,G.M。;Power,A.J.,二维单子理论,J.Pure Appl。代数,59,1-41(1989)·Zbl 0675.18006号
[5] Carboni,A。;卡桑吉安,S。;Walters,R.,《模的两类公理学》,J.Pure Appl。代数,45,127-141(1987)·Zbl 0615.18006号
[6] 加布里埃尔,P。;Ulmer,F.,Local praesenierbare Kategorien,(数学课堂讲稿,221(1971),施普林格:施普林格柏林)·Zbl 0225.18004号
[7] Gray,J.W.,《形式范畴理论:2范畴的伴随》(数学讲义,391(1974),施普林格:施普林格-柏林)·兹标0285.18006
[8] 哈基姆(Hakim,M.),托普斯·安内莱斯(Topos Annelés et Schémas Relatifs),(《数学数学》(Ergebnisse der Mathematik),64(1972),施普林格:施普林格柏林)·兹比尔0246.14004
[9] J.M.E.Hyland和J.Moerdijk,Coalgebras,下降和地形的过滤逆极限,编制中。;J.M.E.Hyland和J.Moerdijk,Coalgebras,下降和地形的过滤逆极限,编制中。
[10] Kelly,G.M.,松驰代数和分配律的相干条件,(数学讲义,420(1974),施普林格:施普林格-柏林),281-375·Zbl 0334.18014号
[11] Kelly,G.M.,《丰富范畴理论的基本概念》(伦敦数学学会讲义系列64(1982),剑桥大学出版社)·Zbl 0709.18501号
[12] Kelly,G.M.,《在丰富的上下文中由有限极限定义的结构》I,Cahiers Topologie Géom。Différentielle,23岁,3-42岁(1982年)·兹伯利0538.18006
[13] Kelly,G.M.,《关于2类极限的初步观察》,公牛。南方的。数学。Soc.,39301-317(1989年)·Zbl 0657.18004号
[14] G.M.Kelly,由极限理论定义的二维结构,编制中。;G.M.Kelly,由极限理论定义的二维结构,编制中。
[15] 凯利,G.M。;Paré,R.,阿尔伯特·凯利论文“一类大肠杆菌的终结”的注释,J.Pure Appl。代数,51,19-25(1988)·Zbl 0656.18005号
[16] G.M.Kelly和A.J.Power,《丰富的单子叶植物及其演示》,正在准备中。;G.M.Kelly和A.J.Power,《浓缩单子及其演示》,准备中·Zbl 0779.18003号
[17] G.M.Kelly和A.J.Power,2-单体的灵活性,准备中。;G.M.Kelly和A.J.Power,2-单体的灵活性,准备中。
[18] Makkai,M。;Paré,R.,《可及范畴:范畴模型理论的基础(初步版本)》,麦吉尔大学数学系。和统计数据。报告87-4(1987)
[19] A.J.Power,有限胆量双范畴的一致性I,当代数学。,出现。;A.J.Power,有限胆量双范畴的一致性I,当代数学。,出现·Zbl 0677.18006号
[20] A.J.Power,有限胆红素二类的相干性II,准备中。;A.J.Power,有限胆红素二类的相干性,准备中·Zbl 0677.18006号
[21] Street,R.,用类值2-函子索引的极限,J.Pure Appl。代数,8149-181(1976)·Zbl 0335.18005号
[22] Street,R.,《两类纤维》,Cahiers Topologie Géom。Différentielle,21,111-160(1980)·Zbl 0436.18005号
[23] Street,R.,《富集类别的柯西特征》,Rendiconti del Sem.Mat.e Fis。米兰,51,217-233(1983)·Zbl 0538.18005号
[24] Street,R.,对“双类别中的纤维化”的更正,Cahiers Topologie Géom。Différentielle Cate goriques,28,53-56(1987)·Zbl 0622.18005号
[25] Ulmer,F.,《局部可呈现类别中的双代数》(1977年),伍珀塔尔大学,预印本
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配,并且可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。