{"title":"弱ω$类之间的ω$弱等价关系","authors":"Soichiro Fujii, Keisuke Hoshino, Yuki Maehara","doi":"arxiv-2406.13240","DOIUrl":null,"url":null,"abstract":"We study $\\omega$-weak equivalences between weak $\\omega$-categories in the\nsense of Batanin-Leinster. Our $\\omega$-weak equivalences are strict\n$\\omega$-functors satisfying essential surjectivity at every dimension, and\nwhen restricted to those between strict $\\omega$-categories, they coincide with\nthe weak equivalences in the model category of strict $\\omega$-categories\ndefined by Lafont, M\\'etayer, and Worytkiewicz. We show that the class of\n$\\omega$-weak equivalences has the 2-out-of-3 property. We also consider a\ngeneralisation of $\\omega$-weak equivalences, defined as weak $\\omega$-functors\n(in the sense of Garner) satisfying essential surjectivity, and show that this\nclass also has the 2-out-of-3 property.","PeriodicalId":501135,"journal":{"name":"arXiv - MATH - Category Theory","volume":"15 1","pages":""},"PeriodicalIF":0.0000,"publicationDate":"2024-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"$ω$-weak equivalences between weak $ω$-categories\",\"authors\":\"Soichiro Fujii, Keisuke Hoshino, Yuki Maehara\",\"doi\":\"arxiv-2406.13240\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"We study $\\\\omega$-weak equivalences between weak $\\\\omega$-categories in the\\nsense of Batanin-Leinster. Our $\\\\omega$-weak equivalences are strict\\n$\\\\omega$-functors satisfying essential surjectivity at every dimension, and\\nwhen restricted to those between strict $\\\\omega$-categories, they coincide with\\nthe weak equivalences in the model category of strict $\\\\omega$-categories\\ndefined by Lafont, M\\\\'etayer, and Worytkiewicz. We show that the class of\\n$\\\\omega$-weak equivalences has the 2-out-of-3 property. We also consider a\\ngeneralisation of $\\\\omega$-weak equivalences, defined as weak $\\\\omega$-functors\\n(in the sense of Garner) satisfying essential surjectivity, and show that this\\nclass also has the 2-out-of-3 property.\",\"PeriodicalId\":501135,\"journal\":{\"name\":\"arXiv - MATH - Category Theory\",\"volume\":\"15 1\",\"pages\":\"\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2024-06-19\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"arXiv - MATH - Category Theory\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/arxiv-2406.13240\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"arXiv - MATH - Category Theory","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/arxiv-2406.13240","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
We study $\omega$-weak equivalences between weak $\omega$-categories in the
sense of Batanin-Leinster. Our $\omega$-weak equivalences are strict
$\omega$-functors satisfying essential surjectivity at every dimension, and
when restricted to those between strict $\omega$-categories, they coincide with
the weak equivalences in the model category of strict $\omega$-categories
defined by Lafont, M\'etayer, and Worytkiewicz. We show that the class of
$\omega$-weak equivalences has the 2-out-of-3 property. We also consider a
generalisation of $\omega$-weak equivalences, defined as weak $\omega$-functors
(in the sense of Garner) satisfying essential surjectivity, and show that this
class also has the 2-out-of-3 property.