ریاضیات

مثال کاربردی ترکیبی: تابع‌گرها، هوم، لم یُونِدا و الحاق

۱. مقدمه

در این بخش، مفاهیم آموخته‌شده دربارهٔ تابع‌گرها، نگاشت‌های القایی، لم یُونِدا و الحاق را با یک مثال عملی ترکیب می‌کنیم. فرض کنید ردهٔ اصلی ما ردهٔ مجموعه‌ها (Set) باشد.

۲. معرفی تابع‌گرها

دو تابع‌گر زیر را تعریف می‌کنیم:

1. تابع‌گر «فرمول‌سازی» (F):

   این تابع‌گر، هر مجموعهٔ X را به حاصل‌ضرب دکارتی آن با خودش می‌فرستد:

   F : Set → Set

   
   

   F(X) = X × X

2. تابع‌گر «کپی» (G):

   این تابع‌گر، هر مجموعهٔ X را به اجتماع آن با خودش می‌فرستد:

   G : Set → Set

   
   

   G(X) = X ∪ X

۳. بررسی الحاق

برای بررسی اینکه آیا F و G زوج الحاقی هستند (یعنی $F \dashv G$)، باید تناظر طبیعی میان مجموعه‌های هوم را چک کنیم:

Hom_{Set}(F(A), B) ≅ Hom_{Set}(A, G(B))

سمت چپ این رابطه شامل توابع از $A \times A$ به $B$ است: $Hom_{Set}(A \times A, B)$.

سمت راست شامل توابع از $A$ به $A \cup A$ است: $Hom_{Set}(A, A \cup A)$.

این دو مجموعه در واقع با هم تناظر دارند. اگر تابع $f : A \times A \to B$ را داشته باشیم، می‌توانیم تابع $g : A \to A \cup A$ را به‌صورت $g(a) = (a, a)$ تعریف کنیم (که در آن $(a, a)$ نمایانگر عنصری از $A \times A$ است). بالعکس، با داشتن $g : A \to A \cup A$، می‌توانیم $f(a_1, a_2)$ را برابر با $g(a_1)$ (یا $g(a_2)$) قرار دهیم. این تناظر نشان می‌دهد که F و G زوج الحاقی هستند.

۴. واحد و هم‌واحد الحاق

واحد الحاق (η): این تبدیل طبیعی، نگاشتی از تابع‌گر همانی به ترکیب $G \circ F$ است. برای هر مجموعه X، تابع $\eta_X : X \to G(F(X))$ به‌صورت $\eta_X(x) = x$ (که به اولین کپی از X در $X \cup X$ می‌رود) تعریف می‌شود.

هم‌واحد الحاق (ε): این تبدیل طبیعی، نگاشتی از ترکیب $F \circ G$ به تابع‌گر همانی است. برای هر مجموعه X، تابع $\varepsilon_X : F(G(X)) \to X$ به‌صورت $\varepsilon_X((x_1, x_2)) = x_1$ (با انتخاب مؤلفهٔ اول) تعریف می‌شود.

۵. لم یُونِدا در عمل

فرض کنید $A = \{a\}$ یک مجموعهٔ تک‌عضوی باشد. تابع‌گر هوم $Hom_{Set}(\{a\}, −)$ همان تابع‌گر همانی است. طبق لم یُونِدا:

Nat(Id_{Set}, F) ≅ F(\{a\})

از آنجا که $F(\{a\}) = \{a\} \times \{a\} = \{(a, a)\}$، هر تبدیل طبیعی از تابع‌گر همانی به F، با عنصر $(a, a)$ متناظر است.

۶. جمع‌بندی

این مثال نشان می‌دهد که چگونه مفاهیم انتزاعی نظریهٔ رده‌ها، مانند تابع‌گرها، الحاق، لم یُونِدا و تبدیل‌های طبیعی، در ساختارهای ملموس‌تر مانند مجموعه‌ها و توابع قابل مشاهده و تحلیل هستند. الحاق، ارتباطی میان ساختارها برقرار می‌کند و لم یُونِدا، امکان بازشناسی اشیاء از طریق رفتارشان را فراهم می‌آورد.