Constructing coproducts in locally Cartesian closed $\infty$-categories

IF 0.8 4区数学 Q2 MATHEMATICS

Homology Homotopy and Applications Pub Date : 2021-08-25 DOI:10.4310/hha.2023.v25.n1.a4

Jonas Frey, Nima Rasekh

引用次数: 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.

查看原文本刊更多论文

构造局部笛卡尔闭$\infty$ -范畴中的余积

证明了具有子对象分类器的每一个局部笛卡尔闭$\infty$ -范畴都有严格的初始对象和不相交的全称二元副积。

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

求助全文

约1分钟内获得全文求助全文

来源期刊

Homology Homotopy and Applications 数学-数学

CiteScore

1.10

自引率

0.00%

发文量

审稿时长

>12 weeks

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