π有限空间的范畴

IF 0.7 2区数学 Q2 MATHEMATICS

Journal of Pure and Applied Algebra Pub Date : 2025-03-05 DOI:10.1016/j.jpaa.2025.107925

Mathieu Anel

{"title":"π有限空间的范畴","authors":"Mathieu Anel","doi":"10.1016/j.jpaa.2025.107925","DOIUrl":null,"url":null,"abstract":"<div><div>We show that the category of truncated spaces with finite homotopy invariants (<em>π</em>-finite spaces) has many of the features expected of an elementary ∞-topos. It should be thought of as the natural higher analogue of the elementary 1-topos of finite sets, with which it shares several initiality properties. The paper has also an appendix about univalent families in ∞-pretopoi.</div></div>","PeriodicalId":54770,"journal":{"name":"Journal of Pure and Applied Algebra","volume":"229 6","pages":"Article 107925"},"PeriodicalIF":0.7000,"publicationDate":"2025-03-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"The category of π-finite spaces\",\"authors\":\"Mathieu Anel\",\"doi\":\"10.1016/j.jpaa.2025.107925\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<div><div>We show that the category of truncated spaces with finite homotopy invariants (<em>π</em>-finite spaces) has many of the features expected of an elementary ∞-topos. It should be thought of as the natural higher analogue of the elementary 1-topos of finite sets, with which it shares several initiality properties. The paper has also an appendix about univalent families in ∞-pretopoi.</div></div>\",\"PeriodicalId\":54770,\"journal\":{\"name\":\"Journal of Pure and Applied Algebra\",\"volume\":\"229 6\",\"pages\":\"Article 107925\"},\"PeriodicalIF\":0.7000,\"publicationDate\":\"2025-03-05\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Journal of Pure and Applied Algebra\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://www.sciencedirect.com/science/article/pii/S0022404925000647\",\"RegionNum\":2,\"RegionCategory\":\"数学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q2\",\"JCRName\":\"MATHEMATICS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Journal of Pure and Applied Algebra","FirstCategoryId":"100","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S0022404925000647","RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q2","JCRName":"MATHEMATICS","Score":null,"Total":0}

引用次数: 0

摘要

证明了具有有限同伦不变量的截断空间（π-有限空间）具有初等∞-拓扑的许多特征。它应该被认为是有限集的初等1-拓扑的自然高级类似物，它与有限集具有几个初始性性质。本文还有一个关于∞-预拓扑一元族的附录。

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

查看原文本刊更多论文

The category of π-finite spaces

We show that the category of truncated spaces with finite homotopy invariants (π-finite spaces) has many of the features expected of an elementary ∞-topos. It should be thought of as the natural higher analogue of the elementary 1-topos of finite sets, with which it shares several initiality properties. The paper has also an appendix about univalent families in ∞-pretopoi.

求助全文

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

来源期刊

Journal of Pure and Applied Algebra 数学-数学

CiteScore

1.70

自引率

12.50%

发文量

225

审稿时长

17 days

期刊介绍： The Journal of Pure and Applied Algebra concentrates on that part of algebra likely to be of general mathematical interest: algebraic results with immediate applications, and the development of algebraic theories of sufficiently general relevance to allow for future applications.