ریاضیات

تحلیلِ تصویر اول: نگاشت‌های القایی در تابع‌گرهای Hom

این تصویر، مکانیسمِ دقیقِ تبدیلِ ریخت‌ها را در دو تابع‌گر Hom نشان می‌دهد. در اینجا، یک ریخت ثابتِ α : X → Y باعث می‌شود که «مجموعه‌های ریخت» نیز به یکدیگر نگاشته شوند.

۱. تابع‌گر هم‌ورد: پیش‌بردِ ریخت‌ها (Push-forward)

در نیمهٔ بالایی تصویر، نگاشتِ القاییِ تابع‌گرِ Hom(A, −) آمده است. فرض کنید α : X → Y یک ریخت در ردهٔ K باشد. این ریخت، تابعی را بینِ «مجموعهٔ ریخت‌های A به X» و «مجموعهٔ ریخت‌های A به Y» القا می‌کند:

Hom(A , α) : Hom(A , X) → Hom(A , Y)

طبق نمودارِ مثلثیِ تصویر، اگر β : A → X ریختی باشد، آنگاه تصویرِ آن تحت این نگاشت، برابر است با ترکیبِ (α ∘ β) : A → Y.

      A
     / \
  β / \ α ∘ β
   / ▼
  X ──α──▶ Y

این یعنی ریختِ α، ریختِ β را از «پشت» (سمتِ راست) می‌پوشاند و آن را به هدفی جدید (Y) می‌رساند.

۲. تابع‌گر پَس‌ورد: بازگشتِ ریخت‌ها (Pull-back)

در نیمهٔ پایینی تصویر، نگاشتِ القاییِ تابع‌گرِ Hom(−, B) آمده است. این بار α : X → Y ریختی است که مجموعه‌ای از ریخت‌ها را در جهتِ معکوس می‌برد:

Hom(α , B) : Hom(Y , B) → Hom(X , B)

طبق نمودارِ مثلثیِ پایینِ تصویر، اگر γ : Y → B ریختی باشد، آنگاه تصویرِ آن تحت این نگاشت، برابر است با ترکیبِ (γ ∘ α) : X → B.

  X ──α──▶ Y
   \ /
    \ / γ
     ▼ ▼
      B

این‌بار α، ریختِ γ را از «پشت» ترکیب می‌کند و یک ریختِ جدید از مبدأِ X به سوی B می‌سازد. به همین دلیل است که به این تابع‌گر، «پَس‌ورد» یا «خلاف‌ورد» می‌گویند؛ چرا که جهتِ نگاشتِ ریخت‌ها (X به Y) با جهتِ نگاشتِ حاصل در Hom (Hom(Y,B) به Hom(X,B)) وارونه است.

جمع‌بندی

این تصویر، کلیدِ فهمِ تابع‌گرهای Hom است:

• در حالت هم‌ورد، ریختِ α از «سمتِ راست» ترکیب می‌شود (α ∘ β).
• در حالت پَس‌ورد، ریختِ α از «سمتِ راست» ترکیب می‌شود (γ ∘ α) اما نتیجه به عقب بازمی‌گردد.

این دو نمودارِ مثلثی، دقیق‌ترین بیانِ تصویری برای اثباتِ این نکته هستند که چرا تابع‌گرهای Hom در یک متغیر هم‌ورد و در دیگری پَس‌ورد عمل می‌کنند.