ریاضیات

بسیار خوب. ادامهٔ طبیعی یادداشت‌ها پس از تابع‌گرها، بحث **تبدیل‌های طبیعی** و سپس **هم‌ارزی رده‌ها** است. در این بخش، نخست تبدیل طبیعی را تعریف می‌کنیم؛ زیرا رابطه‌هایی مانند

```text

S ∘ T ≅ ۱

T ∘ S ≅ ۱

```

به‌وسیلهٔ تبدیل‌های طبیعی معنا و دقت کامل پیدا می‌کنند.

## شعر آغازین

دو رده چو در آینهٔ هم نظر کنند

ز یک راه، دو معنیِ برتر خبر کنند

اگر تابع‌گر پلی میان دو جهان است

تبدیل طبیعی، پیوندِ جان است

نه هر برابری، برابریِ راستین

که گاه «هم‌ریختی» است مقصودِ یقین

---

```html

تبدیل طبیعی میان تابع‌گرها

۱. ایدهٔ اصلی تبدیل طبیعی

فرض کنید C و D دو رده و F و G دو تابع‌گر هم‌ورد از C به D باشند:

F , G : C → D

تبدیل طبیعی از F به G، خانواده‌ای از ریخت‌ها در ردهٔ D است که برای هر شیء A از ردهٔ C، ریختی از F(A) به G(A) تعیین می‌کند.

ηₐ : F(A) → G(A)

این خانواده را با نماد زیر نشان می‌دهیم:

η : F ⇒ G

به ηₐ مؤلفهٔ تبدیل طبیعی η در شیء A گفته می‌شود.

۲. شرط طبیعی بودن

برای هر ریخت f : A → B در ردهٔ C، شرط طبیعی بودن چنین است:

G(f) ∘ ηₐ = ηᵦ ∘ F(f)

این رابطه می‌گوید که دو مسیر زیر از F(A) به G(B)، نتیجهٔ یکسان دارند:

F(A) ──F(f)──▶ F(B)

│ │

ηₐ ηᵦ

▼ ▼

G(A) ──G(f)──▶ G(B)

به بیان دیگر، نمودار بالا جابه‌جایی است.

۳. مثال: تبدیل طبیعی میان تابع‌گرهای Hom

فرض کنید A و B دو شیء در ردهٔ C باشند. هر ریخت u : A → B، تبدیل طبیعی زیر را القا می‌کند:

Hom(B , −) ⇒ Hom(A , −)

مولفهٔ این تبدیل طبیعی در شیء X، نگاشتی از Hom(B , X) به Hom(A , X) است:

ηₓ : Hom(B , X) → Hom(A , X)

اگر f : B → X باشد، آنگاه:

ηₓ(f) = f ∘ u

طبیعی بودن این تبدیل، از شرکت‌پذیری ترکیب ریخت‌ها نتیجه می‌شود.

۴. تبدیل طبیعی همانی

برای هر تابع‌گر F : C → D، تبدیل طبیعی همانی از F به خودش وجود دارد:

۱F : F ⇒ F

مولفهٔ آن در هر شیء A، ریخت همانی F(A) است:

(۱F)ₐ = ۱F(A)

۵. ترکیب تبدیل‌های طبیعی

اگر η : F ⇒ G و θ : G ⇒ H دو تبدیل طبیعی باشند، ترکیب آن‌ها نیز تبدیل طبیعی است:

θ ∘ η : F ⇒ H

مولفهٔ این ترکیب در شیء A چنین تعریف می‌شود:

(θ ∘ η)ₐ = θₐ ∘ ηₐ

۶. یکریختی طبیعی

اگر هر مولفهٔ تبدیل طبیعی η : F ⇒ G یکریختی باشد، η را یکریختی طبیعی می‌نامیم و می‌نویسیم:

F ≅ G

در این حالت، تابع‌گرهای F و G از دیدگاه نظریهٔ رده‌ها یکسان نیستند، اما به‌طور طبیعی یکریخت‌اند.

۷. هم‌ارزی رده‌ها

دو ردهٔ C و D را هم‌ارز می‌نامیم، هرگاه تابع‌گرهایی مانند F : C → D و G : D → C وجود داشته باشند، به‌گونه‌ای که:

G ∘ F ≅ ۱C

F ∘ G ≅ ۱D

یعنی ترکیب هر دو تابع‌گر، نه الزاماً برابر با تابع‌گر همانی، بلکه به‌طور طبیعی با آن یکریخت است.

۸. اهمیت هم‌ارزی

هم‌ارزی رده‌ها نشان می‌دهد که دو رده ممکن است اشیای متفاوتی داشته باشند، اما از نظر ساختار ریخت‌ها و روابط میان اشیا، اطلاعات یکسانی را در خود جای دهند.

در چنین حالتی، می‌توان مسئله‌ای را در یک رده به مسئله‌ای در ردهٔ دیگر منتقل کرد و پس از حل آن، پاسخ را به ردهٔ نخست بازگرداند.

۹. جمع‌بندی

تبدیل طبیعی، ریختی میان دو تابع‌گر است. این تبدیل برای هر شیء یک مؤلفه دارد و شرط طبیعی بودن تضمین می‌کند که این مؤلفه‌ها با همهٔ ریخت‌های رده سازگار باشند. یکریختی طبیعی، مفهوم دقیق هم‌شکلی تابع‌گرهاست و هم‌ارزی رده‌ها بر پایهٔ همین یکریختی‌های طبیعی بنا می‌شود.

```

### خلاصهٔ مفهومی

```text

η : F ⇒ G

```

یعنی برای هر شیء A:

```text

ηₐ : F(A) → G(A)

```

و برای هر ریخت `f : A → B`:

```text

G(f) ∘ ηₐ = ηᵦ ∘ F(f)

```

هم‌ارزی رده‌ها نیز با دو تابع‌گر و دو یکریختی طبیعی بیان می‌شود:

```text

G ∘ F ≅ ۱C

F ∘ G ≅ ۱D

```

این بخش، گذرگاه اصلی از **تابع‌گرها** به **۲-رده‌ها، لم یُونِدا، هم‌ارزی رده‌ها و جبر همولوژیک** است.