{"title":"Constructing coproducts in locally Cartesian closed $\\infty$-categories","authors":"Jonas Frey, Nima Rasekh","doi":"10.4310/hha.2023.v25.n1.a4","DOIUrl":null,"url":null,"abstract":"We prove that every locally Cartesian closed $\\infty$-category with subobject classifier has a strict initial object and disjoint and universal binary coproducts.","PeriodicalId":55050,"journal":{"name":"Homology Homotopy and Applications","volume":null,"pages":null},"PeriodicalIF":0.8000,"publicationDate":"2021-08-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Homology Homotopy and Applications","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.4310/hha.2023.v25.n1.a4","RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q2","JCRName":"MATHEMATICS","Score":null,"Total":0}
引用次数: 0
Abstract
We prove that every locally Cartesian closed $\infty$-category with subobject classifier has a strict initial object and disjoint and universal binary coproducts.
期刊介绍：
Homology, Homotopy and Applications is a refereed journal which publishes high-quality papers in the general area of homotopy theory and algebraic topology, as well as applications of the ideas and results in this area. This means applications in the broadest possible sense, i.e. applications to other parts of mathematics such as number theory and algebraic geometry, as well as to areas outside of mathematics, such as computer science, physics, and statistics. Homotopy theory is also intended to be interpreted broadly, including algebraic K-theory, model categories, homotopy theory of varieties, etc. We particularly encourage innovative papers which point the way toward new applications of the subject.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
