Constructing Coproducts in locally Cartesian closed $\infty$-Categories

Abstract

We prove that every locally Cartesian closed $\infty$-category with subobject classifier has a strict initial object and disjoint and universal binary coproducts.

14 Pages, to appear in Homology, Homotopy and Applications