Constructing Coproducts in locally Cartesian closed $\infty$-Categories
Category Theory
2022-02-15 v2
Abstract
We prove that every locally Cartesian closed -category with subobject classifier has a strict initial object and disjoint and universal binary coproducts.
Keywords
Cite
@article{arxiv.2108.11304,
title = {Constructing Coproducts in locally Cartesian closed $\infty$-Categories},
author = {Jonas Frey and Nima Rasekh},
journal= {arXiv preprint arXiv:2108.11304},
year = {2022}
}
Comments
14 Pages, to appear in Homology, Homotopy and Applications