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 :