Veuillez choisir le dossier dans lequel vous souhaitez ajouter ce contenu :
Filtrer les résultats
Colloque
Soit C une catégorie complète à gauche, co-localement petite, et telle que chaque morphisme f admet une décomposition f = qh où q est le cogélisateur du pullback de f avec lui-même. Une sous-catégorie pleine A de C est quasiprimitve si A est fermée par rapport aux produits et par rapport aux sous-objets. Par une identité nous entendons un couple de morphismes de C avec même domaine et même codomaine. Un objet X de C satisfait à une identité ⟨h,g⟩ si fh = fg pour tout f morphisme du codomaine de h,g à X. Une classe K d'identités définit une …
