Symbole d'adjonction

Manda

Bonjour,

Pour noter une adjonction entre catégories, j'ai pas trouvé mieux que : $F^\varepsilon_\eta\dashv G$. J'aimerais trouver un moyen de caler l'unité et la counité dans les petits espaces du symbole $\dashv$.

Auriez-vous une solution ?

AD

Comme ça $F\ {}^\varepsilon_\eta\!\!\!\!\dashv G$, mais c'est très moche !
Alain

Manda

C'est vrai que ce n'est pas forcément très élégant. Je vais abandonner l'idée je crois. Merci quand même !