Lexikon der Mathematik: adjungierter Funktor
ein Funktor mit zusätzlicher Eigenschaft.
Seien 𝒞 und 𝒟 zwei Kategorien und F : 𝒞 → 𝒟 und G : 𝒟 → 𝒞 zwei Funktoren. Der Funktor F heißt rechtsadjungierter Funktor zu G und G links-adjungierter Funktor zu F, falls für alle Paare X und Y Bijektionen
existieren, die natürlich in X und Y sind. Dies bedeutet, daß die Abbildungen ηX,Y natürliche Äquivalenzen
definieren. Das Paar (F, G) heißt ein Paar adjungierter Funktoren.
Schreiben Sie uns!