×

所有强生成器都密集的类别。 (英语) Zbl 0612.18004号

本文讨论了哪些总类具有所有小强生成元稠密的问题。这个问题是在丰富范畴的背景下研究的。设({mathcal V})是一个对称的单体闭范畴,它是小完备和余完备的,并且有所有一元论族的交集。对于每个函子({mathfrak A}^{op}到^{t}{mathfal V}),恒等式(1_{mathbrak A}}:{mathfrak A}到{mathflak A{})接受由t索引的colimit(t),A({mathcal V}G.M.凯利,卡。拓扑Géom。差异。Catégoriques 27,109-132(1986;Zbl 0593.18007号).] 设y(a)表示可表示的({mathcal V})-函子({mathfrak a}(\_,a):{mathfrak a}^{op}到{mathcalV})。如果\({\mathfrak A}\)是总的,z取强monics \(r\rightarrowtail y(A)\)到\({\tathfrak A}\)中的monics,那么小的强生成元是稠密的,也就是说,如果\(m:{\math frak C}\ to{\tath frak A{\)是一个完全忠实的\({mathcal V}\)-函子,其中\({\mathfrak C}\)很小,并且如果m是强生成的,那么它是稠密。这个结果被应用于拓扑理论和阿贝尔范畴理论中的几个例子。
审核人:K.I.罗森塔尔

MSC公司:

18D20天 富集类别(超过封闭或单体类别)
18对25 托波伊
18E10型 阿贝尔范畴,Grothendieck范畴
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] (Artin,M.;Grothendieck,A.;Verdier,J.L.,Théorie des Topos et Cohomologie et Cohopologie et ether tale des Schémas.Thöorie de Topos ether cohomologiee ether des Sche mas,数学讲义,269(1972),施普林格:施普林格柏林)
[2] 戴,B.J.,《关于伴随因子分解》(数学讲义,420(1974),施普林格:施普林格-柏林),1-19
[3] Day,B.J.,闭范畴的嵌入定理,(数学讲义,420(1974),施普林格:施普林格柏林),55-64·Zbl 0354.18009号
[4] 戴,B.J。;Kelly,G.M.,《丰富函子类别》(数学讲义,106(1969),施普林格:施普林格柏林),178-191·Zbl 0214.03202号
[5] 艾伦伯格,S。;Kelly,G.M.,闭范畴,(范畴代数会议(1966),施普林格:施普林格柏林),421-562·兹比尔0192.10604
[6] Kelly,G.M.,《丰富范畴理论的基本概念》,(伦敦数学社会讲座笔记系列,64(1982),剑桥大学出版社:剑桥大学出版社伦敦)·兹伯利0709.18501
[7] Street,R.,二维层理论,J.Pure Appl。代数,23,251-270(1982)·Zbl 0478.18004号
[8] Street,R.,Cosmoi内部类别,Trans。阿默尔。数学。《社会学杂志》,258271-318(1980)·Zbl 0393.18009号
[9] 街道,R.,地形概念,布尔。南方的。数学。Soc.,23,199-208(1981)·Zbl 0471.18005号
[10] Street,R.,《总体互补性和地形的家族方法》,Trans。阿默尔。数学。Soc.,284355-369(1984年)·Zbl 0512.18001号
[11] 街道,R。;Walters,R.,《两类上的Yoneda结构》,J.代数,50,350-379(1978)·Zbl 04011.8004号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。