La notion d'adjonction est fondamentale. Elle généralise la notion d'équivalence entre deux catégories. En effet, si et définissent une équivalence de catégorie entre et , alors, et sont ajoints l'un à l'autre (et ce, "de tous les côtés possibles" : à droite et à gauche ou à gauche et à droite)
Pour la suite, voir Wikipédia.org…
Free Download Now!
