Adjoint funktorlar, kategori teorisinin belki de en derin ve en geniş uygulamaya sahip kavramıdır. Saunders Mac Lane'in "adjoint funktorlar her yerde karşına çıkar" sözü, bu kavramın matematiksel yapılar arasındaki evrensel ilişkileri ne denli kapsamlı biçimde yakaladığını özetler. Funktor F: C → D ve G: D → C çifti adjoint olarak tanımlanır, F sol adjoint, G sağ adjoint olmak üzere, şu doğal dönüşüm izomorfizmi sağlandığında: Hom_D(F(A), B) ≅ Hom_C(A, G(B)) Bu izomorfizm A ∈ C ve B ∈ D değişkenlerinde doğal (natural) olmalıdır. Yazım F ⊣ G kullanılır. Birim (unit) ve kounit (counit) doğal dönüşümleri adjointliğin eşdeğer karakterizasyonunu sağlar: - η: Id_C ⟹ G∘F (unit / adjunction unit) - ε: F∘G ⟹ Id_D (counit / adjunction counit) Bunlar üçgen özdeşliklerini (triangle identities) sağlamalıdır: (ε F) ∘ (F η) = Id_F (G ε) ∘ (η G) = Id_G Adjoint funktorların evrensel özelliklerle ilişkisi: sol adjoint F(A), G'nin A üzerindeki bir anlamda "en serbest" (free) D-objesi olarak yorumlanabilir; sağ adjoint G(B) ise "en iyi yaklaşım" (right Kan extension benzeri) sunar. Örnekler: - **Serbest-Unutucu adjoint:** Serbest grup funktörü F: Set → Grp, unutucu funktor U: Grp → Set'in sol adjoint'idir. Hom_Grp(F(X), G) ≅ Hom_Set(X, U(G)). - **Çarpım-Üs adjoint:** Kartezyen kapalı kategorilerde - (×A) ⊣ (-)^A; bu, fonksiyon uzayı ve ürün arasındaki adjointliktir. λ-hesabının curry/uncurry dönüşümü bu adjointliğin somut ifadesidir. - **Geometrik-Cebirsel adjoint:** Sheaf teorisinde direkt ve ters görüntü funktorları arasındaki adjointlik topoloji ve cebirsel geometrinin çekirdeğinde yer alır. Adjoint funktorlar limitleri ve kolimitleri korur: sol adjoint kolimitleri, sağ adjoint limitleri korur. Bu özellik, adjoint çiftlerin varlığından yapısal sonuçlar çıkarmanın en güçlü araçlarından birini oluşturur. Örneğin tensör çarpımının koproduktları koruyup limitleri korumaması, tensör-Hom adjointliğinin tam bir yansımasıdır.