Bonjour, soit une équivalence de catégories avec inverse
. J'aimerais montrer qu'il existe
avec
, c'est à dire F est adjoint a gauche de G' et G' adjoint à gauche de F.
En prenant G=G' les transformations naturelles ,
ne semblent pas suffire en elles mêmes. Auriez vous des idées pour définir les bonnes transformations naturelles ?
Vous devez être membre accéder à ce service...
Pas encore inscrit ?
1 compte par personne, multi-compte interdit !
Ou identifiez-vous :