Constructing Coproducts in locally Cartesian closed $infty$-Categories
published by Nima Rasekh
in 2021
and research's language is
English
Download
Abstract in English
We prove that every locally Cartesian closed $infty$-category with subobject classifier has a strict initial object and disjoint and universal binary coproducts.