Soit un diagramme constitué d'une famille de deux objets, sans morphismes.
Pourquoi : représente le foncteur : ?
Merci d'avance.
-----
10/07/2014, 03h55
#2
invitecbade190
Date d'inscription
janvier 1970
Messages
2 577
Re : Problème universel
lI faut essayer de montrer que avec : une catégorie : .
Or, je pense que : est une propriété que je rencontre presque toujours dans les bouquins d'algèbre commutative ( cf. Chambert Loire ).
Par conséquent : représente le foncteur : .
Correct ?