Constructing Coproducts in locally Cartesian closed $infty$-Categories
نشر في Nima Rasekh
بتاريخ 2021
والبحث باللغة
English
تحميل البحث
الملخص بالإنكليزية
We prove that every locally Cartesian closed $infty$-category with subobject classifier has a strict initial object and disjoint and universal binary coproducts.