الفئات، الدوال، والتحويلات الطبيعية
الفئات (Categories)، الدوال (Functors)، والتحويلات الطبيعية (Natural Transformations) هي المفاهيم الأساسية الثلاثة في نظرية الفئات، حيث تُضفي طابعًا رسميًا على الهياكل، والخرائط بين الهياكل، والخرائط بين هذه الخرائط.
Definition
تتكون الفئة من كائنات وتشكلات تتألف بشكل ترابطي مع الهويات؛ وتقوم الدالة بربط كائنات وتشكلات فئة بأخرى مع الحفاظ على التركيب والهويات؛ ويُعيّن التحويل الطبيعي لكل كائن تشكلاً بحيث يتوافق مع تصرفات دالتين.
Scope
يغطي هذا الموضوع تعريف الفئة من خلال الكائنات، التشكلات، التركيب، والهويات، ومفهوم الدالة كخريطة حافظة للهيكل بين الفئات، والتحويلات الطبيعية كتشكلات للدوال، والمفاهيم الناتجة عن التشاكل، وتكافؤ الفئات، وتضمين يونيدا.
Core questions
- ما هي البيانات والبديهيات التي تُعرّف الفئة؟
- كيف تنقل الدالة الهيكل من فئة إلى أخرى؟
- ماذا تعني الطبيعية ولماذا هي المفهوم الصحيح للخريطة بين الدوال؟
- متى تكون فئتان متكافئتين بدلاً من متساويتين؟
Key theories
- بديهيات الفئة والدالة
- تركيب التشكلات ترابطي ووحدوي، وتحافظ الدوال على هذا الهيكل التركيبي، لذا فإن الإنشاءات الفئوية مستقرة تحت الخرائط التي تربط الفئات.
- التحويلات الطبيعية
- يربط التحويل الطبيعي دالتين بواسطة عائلة من التشكلات المتوافقة مع جميع الخرائط في الفئة المصدر، مما يلتقط الفكرة غير الرسمية للإنشاء المحدد بشكل موحد ودون خيارات عشوائية.
- مبدأ يونيدا وتضمينه
- تتوافق التحويلات الطبيعية الخارجة من دالة ممثلة مع العناصر، لذا يتم تحديد كل كائن بواسطة تشكلاته وينغمس بشكل كامل ووفي في فئة دالة.
Clinical relevance
هذه المفاهيم الثلاثة هي المفردات التي تُكتب بها الرياضيات الفئوية: الدوال تُضفي طابعًا رسميًا على الإنشاءات مثل تكوين مجموعة أساسية أو حلقة متعددة الحدود، وتُحدد الطبيعية الإنشاءات القانونية، ويُرسخ منظور يونيدا الرؤية الهيكلية التي تسود الجبر، الطوبولوجيا، ودلالات لغات البرمجة.
History
قدم آيلنبرغ وماك لين الفئات، الدوال، والتحويلات الطبيعية في عام 1945، وكانت التحويلات الطبيعية هي المفهوم المحفز الذي تطلب تعريف الآخرين بدقة. وسرعان ما أصبح مبدأ يونيدا، المنسوب إلى نوبو يونيدا، حجر الزاوية الذي يعبر عن وجهة نظر قابلية التمثيل في هذا المجال.
Key figures
- Samuel Eilenberg
- Saunders Mac Lane
- Nobuo Yoneda
Related topics
Seminal works
- maclane1998
- awodey2010
- riehl2016
Frequently asked questions
- ما هي أهمية التحويلات الطبيعية؟
- إنها تُحدد بدقة متى يكون الإنشاء قانونيًا، ويُعرّف بنفس الطريقة لكل كائن دون خيارات عشوائية. المثال الكلاسيكي هو الخريطة الطبيعية من فضاء متجه إلى ثنائيه المزدوج، والتي توجد بشكل موحد، على عكس الخريطة إلى الثنائي الفردي، والتي تعتمد على اختيار أساس.
- ما هو تكافؤ الفئات؟
- إنه زوج من الدوال بين فئتين تكون مركباتهما متشاكلة طبيعيًا مع الهويات. تشترك الفئات المتكافئة في جميع الخصائص الفئوية حتى عندما لا تكون متطابقة حرفيًا، وهو المفهوم المناسب للتطابق في نظرية الفئات.