总量程的单位

IF 0.5 4区 数学
Viktoriya Ozornova, Martina Rovelli
{"title":"总量程的单位","authors":"Viktoriya Ozornova,&nbsp;Martina Rovelli","doi":"10.1007/s40062-020-00257-1","DOIUrl":null,"url":null,"abstract":"<p>We consider the décalage construction <span>\\({{\\,\\mathrm{Dec}\\,}}\\)</span> and its right adjoint <span>\\(T\\)</span>. These functors are induced on the category of simplicial objects valued in any bicomplete category <span>\\({\\mathcal {C}}\\)</span> by the ordinal sum. We identify <span>\\(T{{\\,\\mathrm{Dec}\\,}}X\\)</span> with the path object <span>\\(X^{\\Delta [1]}\\)</span> for any simplicial object <i>X</i>. We then use this formula to produce an explicit retracting homotopy for the unit <span>\\(X\\rightarrow T{{\\,\\mathrm{Dec}\\,}}X\\)</span> of the adjunction <span>\\(({{\\,\\mathrm{Dec}\\,}},T)\\)</span>. When <span>\\({\\mathcal {C}}\\)</span> is a category of objects of an algebraic nature, we then show that the unit is a weak equivalence of simplicial objects in <span>\\({\\mathcal {C}}\\)</span>.</p>","PeriodicalId":636,"journal":{"name":"Journal of Homotopy and Related Structures","volume":"15 2","pages":"333 - 349"},"PeriodicalIF":0.5000,"publicationDate":"2020-03-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s40062-020-00257-1","citationCount":"0","resultStr":"{\"title\":\"The unit of the total décalage adjunction\",\"authors\":\"Viktoriya Ozornova,&nbsp;Martina Rovelli\",\"doi\":\"10.1007/s40062-020-00257-1\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<p>We consider the décalage construction <span>\\\\({{\\\\,\\\\mathrm{Dec}\\\\,}}\\\\)</span> and its right adjoint <span>\\\\(T\\\\)</span>. These functors are induced on the category of simplicial objects valued in any bicomplete category <span>\\\\({\\\\mathcal {C}}\\\\)</span> by the ordinal sum. We identify <span>\\\\(T{{\\\\,\\\\mathrm{Dec}\\\\,}}X\\\\)</span> with the path object <span>\\\\(X^{\\\\Delta [1]}\\\\)</span> for any simplicial object <i>X</i>. We then use this formula to produce an explicit retracting homotopy for the unit <span>\\\\(X\\\\rightarrow T{{\\\\,\\\\mathrm{Dec}\\\\,}}X\\\\)</span> of the adjunction <span>\\\\(({{\\\\,\\\\mathrm{Dec}\\\\,}},T)\\\\)</span>. When <span>\\\\({\\\\mathcal {C}}\\\\)</span> is a category of objects of an algebraic nature, we then show that the unit is a weak equivalence of simplicial objects in <span>\\\\({\\\\mathcal {C}}\\\\)</span>.</p>\",\"PeriodicalId\":636,\"journal\":{\"name\":\"Journal of Homotopy and Related Structures\",\"volume\":\"15 2\",\"pages\":\"333 - 349\"},\"PeriodicalIF\":0.5000,\"publicationDate\":\"2020-03-19\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"https://sci-hub-pdf.com/10.1007/s40062-020-00257-1\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Journal of Homotopy and Related Structures\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://link.springer.com/article/10.1007/s40062-020-00257-1\",\"RegionNum\":4,\"RegionCategory\":\"数学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Journal of Homotopy and Related Structures","FirstCategoryId":"100","ListUrlMain":"https://link.springer.com/article/10.1007/s40062-020-00257-1","RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0

摘要

我们考虑了dsamage结构\({{\,\mathrm{Dec}\,}}\)及其右伴随体\(T\)。这些函子是由序和在任意双完全范畴\({\mathcal {C}}\)中赋值的简单对象的范畴上导出的。对于任何简单对象x,我们用路径对象\(X^{\Delta [1]}\)标识\(T{{\,\mathrm{Dec}\,}}X\),然后使用此公式为附结\(({{\,\mathrm{Dec}\,}},T)\)的单位\(X\rightarrow T{{\,\mathrm{Dec}\,}}X\)生成显式缩回同伦。当\({\mathcal {C}}\)是一类代数性质的对象时,我们在\({\mathcal {C}}\)中证明了该单位是简单对象的弱等价。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
The unit of the total décalage adjunction

We consider the décalage construction \({{\,\mathrm{Dec}\,}}\) and its right adjoint \(T\). These functors are induced on the category of simplicial objects valued in any bicomplete category \({\mathcal {C}}\) by the ordinal sum. We identify \(T{{\,\mathrm{Dec}\,}}X\) with the path object \(X^{\Delta [1]}\) for any simplicial object X. We then use this formula to produce an explicit retracting homotopy for the unit \(X\rightarrow T{{\,\mathrm{Dec}\,}}X\) of the adjunction \(({{\,\mathrm{Dec}\,}},T)\). When \({\mathcal {C}}\) is a category of objects of an algebraic nature, we then show that the unit is a weak equivalence of simplicial objects in \({\mathcal {C}}\).

求助全文
通过发布文献求助,成功后即可免费获取论文全文。 去求助
来源期刊
Journal of Homotopy and Related Structures
Journal of Homotopy and Related Structures Mathematics-Geometry and Topology
自引率
0.00%
发文量
0
期刊介绍: Journal of Homotopy and Related Structures (JHRS) is a fully refereed international journal dealing with homotopy and related structures of mathematical and physical sciences. Journal of Homotopy and Related Structures is intended to publish papers on Homotopy in the broad sense and its related areas like Homological and homotopical algebra, K-theory, topology of manifolds, geometric and categorical structures, homology theories, topological groups and algebras, stable homotopy theory, group actions, algebraic varieties, category theory, cobordism theory, controlled topology, noncommutative geometry, motivic cohomology, differential topology, algebraic geometry.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信