We prove that every locally Cartesian closed oo-category with a subobject classifier has a strict initial object and disjoint and universal binary coproducts.
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.
