{"title":"总量程的单位","authors":"Viktoriya Ozornova, 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, 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}
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 (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.