\（\infty\）-群胚的Cantor–Schröder–Bernstein定理

IF 0.5 4区数学 Journal of Homotopy and Related Structures Pub Date : 2021-06-28 DOI:10.1007/s40062-021-00284-6

Martín Hötzel Escardó

{"title":"\\（\\infty\\）-群胚的Cantor–Schröder–Bernstein定理","authors":"Martín Hötzel Escardó","doi":"10.1007/s40062-021-00284-6","DOIUrl":null,"url":null,"abstract":"<div><p>We show that the Cantor–Schröder–Bernstein Theorem for homotopy types, or <span>\\(\\infty \\)</span>-groupoids, holds in the following form: For any two types, if each one is embedded into the other, then they are equivalent. The argument is developed in the language of homotopy type theory, or Voevodsky’s univalent foundations (HoTT/UF), and requires classical logic. It follows that the theorem holds in any boolean <span>\\(\\infty \\)</span>-topos.</p></div>","PeriodicalId":636,"journal":{"name":"Journal of Homotopy and Related Structures","volume":"16 3","pages":"363 - 366"},"PeriodicalIF":0.5000,"publicationDate":"2021-06-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s40062-021-00284-6","citationCount":"3","resultStr":"{\"title\":\"The Cantor–Schröder–Bernstein Theorem for \\\\(\\\\infty \\\\)-groupoids\",\"authors\":\"Martín Hötzel Escardó\",\"doi\":\"10.1007/s40062-021-00284-6\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<div><p>We show that the Cantor–Schröder–Bernstein Theorem for homotopy types, or <span>\\\\(\\\\infty \\\\)</span>-groupoids, holds in the following form: For any two types, if each one is embedded into the other, then they are equivalent. The argument is developed in the language of homotopy type theory, or Voevodsky’s univalent foundations (HoTT/UF), and requires classical logic. It follows that the theorem holds in any boolean <span>\\\\(\\\\infty \\\\)</span>-topos.</p></div>\",\"PeriodicalId\":636,\"journal\":{\"name\":\"Journal of Homotopy and Related Structures\",\"volume\":\"16 3\",\"pages\":\"363 - 366\"},\"PeriodicalIF\":0.5000,\"publicationDate\":\"2021-06-28\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"https://sci-hub-pdf.com/10.1007/s40062-021-00284-6\",\"citationCount\":\"3\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Journal of Homotopy and Related Structures\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://link.springer.com/article/10.1007/s40062-021-00284-6\",\"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-021-00284-6","RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 3

摘要

我们证明了同伦类型或\(\infty \) -groupoids的Cantor-Schröder-Bernstein定理以以下形式成立:对于任意两个类型，如果每一个嵌入到另一个中，则它们是等价的。该论证是用同伦类型论或Voevodsky的一元基础(HoTT/UF)的语言发展起来的，并且需要经典逻辑。由此可见，该定理适用于任何布尔\(\infty \) -拓扑。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文

微信好友朋友圈 QQ好友复制链接

本刊更多论文

The Cantor–Schröder–Bernstein Theorem for \(\infty \)-groupoids

We show that the Cantor–Schröder–Bernstein Theorem for homotopy types, or \(\infty \)-groupoids, holds in the following form: For any two types, if each one is embedded into the other, then they are equivalent. The argument is developed in the language of homotopy type theory, or Voevodsky’s univalent foundations (HoTT/UF), and requires classical logic. It follows that the theorem holds in any boolean \(\infty \)-topos.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Journal of Homotopy and Related Structures Mathematics-Geometry and Topology

自引率

0.00%

发文量

期刊介绍： 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.

期刊最新文献

The derived Brauer map via twisted sheaves Eilenberg–Maclane spaces and stabilisation in homotopy type theory Homotopy types of diffeomorphism groups of polar Morse–Bott foliations on lens spaces, 1 Goodwillie’s cosimplicial model for the space of long knots and its applications Centralisers, complex reflection groups and actions in the Weyl group \(E_6\)