阿娜·路易斯·特诺里奥;雨果·路易斯·玛丽亚诺 关于层上同调和自然展开。 （英语） Zbl 1477.18001号 São Paulo J.数学。科学。 15，第2期，571-614（2021）. 本文是对同调和层同调的综述，给出了Grothendieck拓扑的展开式，并举例说明了它在其他同调理论和其他数学领域中的应用。最后一节（§5）引用了[J.威尔德斯豪斯J.Pure应用。《代数》150，第2期，207–213（2000；Zbl 0966.18008号);A.乔亚尔和M.蒂尔尼，格罗森迪克伽罗瓦理论的延伸。普罗维登斯，RI：美国数学学会（AMS）（1984；Zbl 0541.18002号);S.Posur公司构造范畴理论及其在等变滑轮中的应用。Siegen：Siegen大学（博士论文）（2017年），https://d-nb.info/113738087X/34;M.舒尔曼，“建构数学的线性逻辑”，预印本，arXiv:1805.07518].审核人：Hirokazu Nishimura（筑波） 理学硕士： 18-02 与范畴理论相关的研究综述（专著、调查文章） 14-02 代数几何相关的研究综述（专著、调查文章） 10层18号 格罗森迪克拓扑和格罗森迪克拓扑 2006年第14页 代数几何中的滑轮 55N30型 代数拓扑中的剪切上同调 18对25 托波伊 关键词：层和Tech上同调;格罗森迪克地形;拓扑上同调 引文：Zbl 0966.18008号;Zbl 0541.18002号 PDF格式BibTeX公司 XML格式引用 \textit{A.L.Tenorio}和\textit{H.L.Mariano}，圣保罗数学杂志。科学。15，第2号，571--614（2021；Zbl 1477.18001） 全文： 内政部 arXiv公司 参考文献： [1] Abramsky，S.，Barbosa，R.S.，Kishida，K.，Lal，R.，Mansfield，S.：语境、上同调和悖论。预印arXiv:1502.03097（2015）·Zbl 1373.03048号 [2] Adem，A.，Milgram，R.J.：有限群的上同调，Grundlehren der mathematischen Wissenschaften，第2版。施普林格（2013） [3] Alexandroff，P.，《几何图形》，《数学年鉴》，98，1，617-635（1928）·doi:10.1007/BF01451612 [4] 巴塞洛，JA；Carbery，A.，《关于欧氏空间中紧集的大小》，美国数学杂志。，140, 2, 449-494 (2018) ·Zbl 1402.28004号 ·文件编号：10.1353/ajm.2018.0011 [5] Bell，JL，《拓扑与局部集理论：导论》（1988），牛津与纽约：牛津大学出版社，牛津和纽约·Zbl 0649.18004号 [6] 贝尔，JL，《集合论：布尔值模型和独立性证明》（2005），牛津大学出版社·兹伯利1065.03034 ·doi:10.1093/acprof:oso/9780198568520.001.0001 [7] Blass，A.，同调检测选择公理Trans的失败。美国数学。Soc.，279，1，257-269（1983）·Zbl 0532.04002号 ·doi:10.1090/S0002-9947-1983-0704615-7 [8] Blechschmidt，I.：在代数几何中使用拓扑的内部语言。奥格斯堡大学博士论文（2017年） [9] Blechschmidt，I.：拓扑中的松弛和内射对象。预印arXiv:1810.12708（2018） [10] Borceux，F.：范畴代数手册：第2卷，范畴和结构。数学及其应用百科全书。剑桥大学出版社，剑桥（1994）·Zbl 0911.18001号 [11] Borceux，F.：《范畴代数手册》，第3卷。剪切理论。数学及其应用百科全书。剑桥大学出版社，剑桥（1994）·Zbl 0911.18001号 [12] Borceux，F.，Bourn，D.：Mal'cev，原模块，同源和半belian范畴。斯普林格，数学及其应用（2004）·Zbl 1061.18001号 [13] Cartan，H.，Ide aux de functions analytiques de \（n）variables complex，Annales scientifiques de l’ecole Normale Supérieure，61149-197（1944）·Zbl 0035.17103号 ·doi:10.24033/asens.915 [14] Coniglio，M.：右侧幂等量子数上的滑轮逻辑。圣保罗大学博士论文（1997年）·Zbl 1041.03054号 [15] Deligne，P.：《韦尔猜想》，I：《高等科学研究院数学出版物》43（1），273-307（1974）·Zbl 0287.14001号 [16] 艾伦伯格，S.，卡坦，H.：同调代数。普林斯顿数学系列。普林斯顿大学出版社，普林斯顿（1956）·Zbl 0075.24305号 [17] Flori，C.：拓扑量子理论的第一门课程。物理课堂讲稿。施普林格（2013）·Zbl 1280.81001号 [18] Freyd，P.J.：阿贝尔分类。哈珀现代数学系列。Harper&Row，纽约（1964年）·Zbl 0121.02103号 [19] Girard，JY，线性逻辑，Theor。计算。科学。，50，1，1-101（1987）·Zbl 0625.03037号 ·doi:10.1016/0304-3975（87）90045-4 [20] Godement，R.，Topologie algébrique et theéorie des faisceaux（1958），巴黎：赫尔曼，巴黎·Zbl 0080.16201号 [21] 格雷，J.W.：sheaf理论的历史片段。摘自：滑轮的应用，第1-79页。施普林格（1979）·Zbl 0436.55002号 [22] Grothendieck，A.，Sur quelques points d’algèbre同源，东北数学。J.，9，2，119-221（1957）·Zbl 0118.26104号 ·doi:10.2748/tmj/1178244839 [23] Grothendieck，A.：Espaces vectoriels topologiques:Curso de extensáo universityária da Faculdade de Filosofia。圣保罗大学圣保罗马提马提卡社会公共学院（1958）·Zbl 0316.46001号 [24] Grothendieck，A.：《希腊教育》，I.《学校语言》。《数学出版物》第4期，第5-228页（1960年）·Zbl 0118.36206号 [25] Grothendieck，A.：《故事与群体基础》（SGA1）。数学课堂讲稿224（1961） [26] 格罗森迪克，A.：意大利国家银行，II。《全球教育》（Etude globaleélémentaire de quelques classes de morphismes）。出版《国际水文科学数学》第8卷，第5-222页（1961年） [27] Grothendieck，A.：高等教育，III.高等教育同质性，高等教育。《国际数学杂志》第11期，第5-167页（1961年） [28] Grothendieck，A.，《法国巴黎高等教育基金会：1957-1962年（1962年）》，巴黎：巴黎数学研究所·Zbl 0239.14002号 [29] Grothendieck，A.，Théorie des topos et cohomologie et-tale des schemas（SGA4），演讲不。数学。，269, 299-519 (1963) ·doi:10.1007/BFb0081555 [30] Grothendieck，A.：《政府公报》，III.《公平共性》，第二方。《数学出版物》17，5-91（1963）·Zbl 0122.16102号 [31] Grothendieck，A.：《宗教教育》，第四卷，《宗教教育与宗教形态》，第三卷。《数学出版物》20，5-259（1964）·Zbl 0136.15901号 [32] 格罗森迪克，A.：《希腊教育》，第四版，《希腊文化与国家形态》，第二方。出版《IHÉS数学》第24卷，第5-231页（1965年）·Zbl 0135.39701号 [33] Grothendieck，A.：《希腊教育》，第四版，《希腊文化与国家语态》，特洛伊西亚政党。《数学出版物》28，5-255（1966）·Zbl 0144.19904号 [34] Grothendieck，A.：《巴黎歌剧院》，IV：《巴黎歌剧院》和《巴黎歌剧院》，四重奏。《数学出版物》32，5-361（1967）·Zbl 0153.22301号 [35] Hartshorne，R.，《代数几何：数学研究生教材》（1977年），纽约：施普林格出版社，纽约·Zbl 0367.14001号 ·doi:10.1007/978-1-4757-3849-0 [36] Heymans，H.：对合量子数的滑轮：Grothendieck量子数。模糊集与系统256117-148（2014）。doi:10.1016/j.fss.2013.07.008。https://www.sciencedirect.com/science/article/pii/S016501413003023。丰富范畴理论及相关专题专刊（2012年第33届林茨模糊集理论研讨会论文集）·Zbl 1337.06009号 [37] 海兰德，M。；de Paiva，V.，《完全直觉主义线性逻辑》，Ann.Pure Appl。逻辑，64，3，273-291（1993）·Zbl 0873.03006号 ·doi:10.1016/0168-0072（93）90146-5 [38] Iversen，B.，Sheeves的同源性（1986），Springer:Universitext，Springer·Zbl 1272.55001号 ·doi:10.1007/978-3-642-82783-9 [39] Johnstone，P.，《拓朴理论》（1977），伦敦：学术出版社，伦敦·兹伯利0368.18001 [40] Johnstone，P.，《大象素描：拓朴理论简编》（2002），纽约：牛津大学出版社，纽约·Zbl 1071.18002号 [41] Johnstone，P.，《大象素描：拓朴理论简编》（2002），纽约：牛津大学出版社，纽约·Zbl 1071.18002号 [42] Joyal，A.，Tierney，M.：格洛瓦理论的延伸。《美国数学学会回忆录》51（309）（1984）·Zbl 0541.18002号 [43] Koszul，J.：Faisceaux et上同调。费洛索菲亚大学扩建路缘，圣保罗大学。CNPq（1957年）·Zbl 0084.18906号 [44] Lambek，J.，Scott，P.J.：高阶范畴逻辑导论。高等数学研究。剑桥大学出版社（1986）·Zbl 0596.0302号 [45] Lawvere，FW，度量空间，广义逻辑和闭范畴，Rendiconti del seminario matématico e fisico di Milano，43，1，135-166（1973）·兹伯利0335.18006 ·doi:10.1007/BF02924844 [46] Leinster，T.，Shulman，M.：丰富范畴和度量空间的量值同源性。预印arXiv:1711.00802（2017） [47] Leray，J.，《表面拓扑与表面点修复与表示》，J.Math。Pures应用。，95-248年9月（1945年）·Zbl 0060.40703号 [48] Leray，J.，《L'aneau spectrum et L'anneau filtreéd'homologie d'un-espace localement compact et d'une application continue》，《数学与应用杂志》，29，9，1-139（1950）·Zbl 0038.36301号 [49] MacLane，S.，《工作数学家的类别》（1998），纽约：施普林格出版社，纽约·Zbl 0705.18001号 [50] 南卡罗来纳州麦克莱恩。；Moerdijk，I.，《几何和逻辑中的滑轮：拓朴理论的首次介绍》（1992），纽约：Universitext。纽约州施普林格·Zbl 0822.18001号 [51] McLarty，C.，《基本范畴，基本拓扑》（1992），牛津：牛津大学出版社，牛津·Zbl 0762.18001号 [52] Meckes，MW，度量空间的量级、多样性、容量和维度，潜在分析。，42, 2, 549-572 (2015) ·Zbl 1315.51005号 ·doi:10.1007/s11118-014-9444-3 [53] Mendes，C.A.，Mariano，H.L.：类鞘范畴及其在连续逻辑中的应用。准备中（2020年） [54] Moerdijk，I.，《空间分类和Topoi分类》（1995），柏林：施普林格出版社，柏林·兹比尔083855001 ·doi:10.1007/BFb0094441 [55] Moerdijk，I.，《为具有足够点的地形划分空间》，《米兰大学图书馆》，66，377-389（1996）·Zbl 0901.18001号 ·doi:10.1007/BF02925366 [56] 莫尔迪克，I。；Gonzalo，ER，平滑无穷小分析模型（1991），柏林：Springer，柏林·Zbl 0715.18001号 ·doi:10.1007/978-1-4757-4143-8 [57] Mulvey，C.：直觉代数和环的表示。《美国数学学会回忆录》148（1974）·Zbl 0274.18012号 [58] 彼得森，P.，黎曼几何（2006），纽约：施普林格，纽约·Zbl 1220.53002号 [59] Posur，S.：构造范畴理论及其在等变滑轮中的应用。西格恩大学博士论文（2017）。https://dspace.ub.uni-siegen.de/handle/ubsi/1179 [60] Seely，R.A.：线性逻辑，*-自治范畴和余自由余代数。摘自：《计算机科学和逻辑分类》，第371-382页。美国数学学会（1987）·兹比尔0674.03007 [61] Serre，JP，Faisceaux algébriques coherents，《数学年鉴》。，61, 2, 197-278 (1955) ·Zbl 0067.16201号 ·doi:10.2307/1969915 [62] 塞雷尔，JP，盖奥梅特里·阿尔盖布里克和盖奥梅里分析，《傅里叶学院年鉴》，6，1-42（1956）·Zbl 0075.30401号 ·doi:10.5802/aif.59 [63] 舒尔曼，M.：建构数学的线性逻辑。预印arXiv:1805.07518（2018） [64] Stacks项目作者T：The Stacks项目。https://stacks.math.columbia.edu (2021) [65] ötefnescu，A.：拓扑中阿贝尔群的范畴。《鲁马尼社会科学数学公报》25（73）（2），179-189（1981）。http://www.jstor.org/stable/43681686 ·Zbl 0494.18006号 [66] Tennison，BR，Sheaf Theory（1975），剑桥：剑桥大学出版社，剑桥·Zbl 0313.18010号 ·doi:10.1017/CBO9780511661761 [67] 加利福尼亚州威贝尔，同调代数导论（1994），剑桥大学出版社·Zbl 0797.18001号 ·doi:10.1017/CBO9781139644136 [68] Wildeshaus，J.，《关于没有足够内射的范畴上的派生函子》，J.Pure Appl。代数，150,2207-213（2000）·Zbl 0966.18008号 ·doi:10.1016/S0022-4049（99）00025-0 [69] Willerton，S.，《关于球体、曲面和其他均质空间的大小》，《Geometriae Dedicata》，168，1，291-310（2014）·Zbl 1305.28009号 ·doi:10.1007/s10711-013-9831-8 [70] Yetter，DN，Quantales和（非对易）线性逻辑，J.符号逻辑，55，41-64（1990）·Zbl 0701.03026号 ·doi:10.2307/2274953 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。