{"title":"在群类群上丰富的范畴中的强形状","authors":"Luciano Stramaccia","doi":"10.1007/s40062-016-0134-2","DOIUrl":null,"url":null,"abstract":"<p>For any pair of categories <span>\\((\\mathsf {C,K})\\)</span> enriched over the category <span>\\(\\mathsf {Gpd}\\)</span> of groupoids, it is possible to define a strong shape category <span>\\(SSh(\\mathsf {C,K})\\)</span> in such a way that, for <span>\\(\\mathsf {C}\\)</span> the category of topological spaces and <span>\\(\\mathsf {K}\\)</span> its full subcategory of spaces having the homotopy type of absolute neighborhoods retracts for metric spaces, one obtains the strong shape category <span>\\(SSh(\\mathsf {Top})\\)</span>, as defined by Marde?i?. We also introduce a new category <span>\\(SS_{\\tiny \\mathsf K}\\)</span> with the same objects as <span>\\(\\mathsf {C}\\)</span> and morphisms given by suitable pseudo-natural transformations into the category of groupoids. The main result is then that such a category <span>\\(SS_{\\tiny \\tiny \\mathsf K}\\)</span> is isomorphic to the strong shape category <span>\\(SSh(\\mathsf {C,K})\\)</span>, when <span>\\(\\mathsf {C}\\)</span> is also a proper model category.</p>","PeriodicalId":636,"journal":{"name":"Journal of Homotopy and Related Structures","volume":"12 2","pages":"433 - 446"},"PeriodicalIF":0.5000,"publicationDate":"2016-05-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s40062-016-0134-2","citationCount":"1","resultStr":"{\"title\":\"Strong shape in categories enriched over groupoids\",\"authors\":\"Luciano Stramaccia\",\"doi\":\"10.1007/s40062-016-0134-2\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<p>For any pair of categories <span>\\\\((\\\\mathsf {C,K})\\\\)</span> enriched over the category <span>\\\\(\\\\mathsf {Gpd}\\\\)</span> of groupoids, it is possible to define a strong shape category <span>\\\\(SSh(\\\\mathsf {C,K})\\\\)</span> in such a way that, for <span>\\\\(\\\\mathsf {C}\\\\)</span> the category of topological spaces and <span>\\\\(\\\\mathsf {K}\\\\)</span> its full subcategory of spaces having the homotopy type of absolute neighborhoods retracts for metric spaces, one obtains the strong shape category <span>\\\\(SSh(\\\\mathsf {Top})\\\\)</span>, as defined by Marde?i?. We also introduce a new category <span>\\\\(SS_{\\\\tiny \\\\mathsf K}\\\\)</span> with the same objects as <span>\\\\(\\\\mathsf {C}\\\\)</span> and morphisms given by suitable pseudo-natural transformations into the category of groupoids. The main result is then that such a category <span>\\\\(SS_{\\\\tiny \\\\tiny \\\\mathsf K}\\\\)</span> is isomorphic to the strong shape category <span>\\\\(SSh(\\\\mathsf {C,K})\\\\)</span>, when <span>\\\\(\\\\mathsf {C}\\\\)</span> is also a proper model category.</p>\",\"PeriodicalId\":636,\"journal\":{\"name\":\"Journal of Homotopy and Related Structures\",\"volume\":\"12 2\",\"pages\":\"433 - 446\"},\"PeriodicalIF\":0.5000,\"publicationDate\":\"2016-05-25\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"https://sci-hub-pdf.com/10.1007/s40062-016-0134-2\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Journal of Homotopy and Related Structures\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://link.springer.com/article/10.1007/s40062-016-0134-2\",\"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-016-0134-2","RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Strong shape in categories enriched over groupoids
For any pair of categories \((\mathsf {C,K})\) enriched over the category \(\mathsf {Gpd}\) of groupoids, it is possible to define a strong shape category \(SSh(\mathsf {C,K})\) in such a way that, for \(\mathsf {C}\) the category of topological spaces and \(\mathsf {K}\) its full subcategory of spaces having the homotopy type of absolute neighborhoods retracts for metric spaces, one obtains the strong shape category \(SSh(\mathsf {Top})\), as defined by Marde?i?. We also introduce a new category \(SS_{\tiny \mathsf K}\) with the same objects as \(\mathsf {C}\) and morphisms given by suitable pseudo-natural transformations into the category of groupoids. The main result is then that such a category \(SS_{\tiny \tiny \mathsf K}\) is isomorphic to the strong shape category \(SSh(\mathsf {C,K})\), when \(\mathsf {C}\) is also a proper model category.
期刊介绍:
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.