نظرية الفئات والأسس
تدرس نظرية الفئات البنى الرياضية وعلاقاتها من خلال الكائنات والخرائط الحافظة للبنية، وتقدم لغة موحدة وأساسًا بديلاً وبنيويًا للرياضيات.
Definition
نظرية الفئات هي فرع من الرياضيات يقوم بتجريد البنية المشتركة للنظريات الرياضية من خلال دراسة الفئات، وهي مجموعات من الكائنات مع تشاكلات قابلة للتركيب (composable morphisms)، والدوال والتحويلات الطبيعية بينها، مع التركيز على العلاقات بدلاً من التكوين الداخلي.
Scope
يغطي هذا المجال الفئات، والدوال (functors)، والتحويلات الطبيعية (natural transformations)، والخصائص الكونية (universal properties) والمفاهيم الموحدة للنهاية (limit) والنهاية المشتركة (colimit)، والدوال المرافقة (adjoint functors) ومبرهنة يونيدا (Yoneda lemma)، ونظرية الطوبوس (topos theory) التي تعمم نظرية المجموعات وتربط نظرية الفئات بالمنطق وبالأسس البديلة للرياضيات.
Sub-topics
Core questions
- كيف يمكن وصف البنى الرياضية المتباينة بشكل موحد بواسطة الخصائص الكونية؟
- ماذا يعني أن تكون فئتان متكافئتين أو أن يكون بناء ما داليًا (functorial)؟
- كيف تلتقط الدوال المرافقة الحلول المثلى عبر الرياضيات؟
- كيف يعمل الطوبوس ككون معمّم للمجموعات وإطار للمنطق؟
Key theories
- مبرهنة يونيدا
- يتم تحديد الكائن حتى التشاكل (isomorphism) بواسطة شبكة التشاكلات الداخلة إليه أو الخارجة منه، بحيث ينغمس كل كائن بأمانة في فئة من الدوال، مما يضفي طابعًا رسميًا على وجهة النظر البنيوية.
- الخصائص الكونية والنهايات
- تتميز العديد من البنى، مثل الجداءات، والنوى، والإكمالات، كحلول كونية لمشكلات التعيين، مما يوحدها كنهايات أو نهايات مشتركة.
- الدوال المرافقة
- تقوم الترافقات (adjunctions) بإقران الدوال التي تسير في اتجاهات معاكسة عن طريق تطابق طبيعي للتشاكلات، مما يلتقط البنى الحرة، والدوال الناسية (forgetful functors)، ومجموعة واسعة من العمليات الرياضية المثلى.
Clinical relevance
توفر نظرية الفئات لغة موحدة تستخدم في جميع أنحاء الرياضيات الحديثة وعلوم الحاسوب النظرية: فهي تنظم الجبر، والطوبولوجيا، والهندسة، وتكمن وراء الجبر الهومولوجي والهندسة الجبرية، وتوفر دلالات نظرية الأنواع (type theory) والبرمجة الوظيفية، ومن خلال نظرية الطوبوس، تقدم بديلاً بنيويًا للأسس القائمة على نظرية المجموعات.
History
قدم إيلنبرغ وماك لين نظرية الفئات في عام 1945 لإعطاء معنى دقيق للتحويلات الطبيعية في الطوبولوجيا الجبرية. أعاد غروثنديك تشكيل الهندسة الجبرية باستخدام الأساليب الفئوية والطوبوسية في الخمسينيات والستينيات، وطور لوفير نظرية الفئات كأساس للرياضيات من خلال النظرية الأولية لفئة المجموعات والنظرية البديهية للطوبوسات.
Key figures
- Samuel Eilenberg
- Saunders Mac Lane
- Alexander Grothendieck
- F. William Lawvere
Related topics
Seminal works
- maclane1998
- awodey2010
- riehl2016
Frequently asked questions
- لماذا تسمى نظرية الفئات بالهراء المجرد (abstract nonsense)؟
- يعكس هذا اللقب، المستخدم بمودة، كيف تستدل نظرية الفئات على مستوى عالٍ من العمومية باستخدام الكائنات والتشاكلات فقط، وغالبًا ما تثبت النتائج بشكل موحد دون الإشارة إلى التفاصيل الداخلية للبنى المعنية. العمومية هي ميزة تجعل الحجج قابلة للتطبيق على نطاق واسع.
- هل يمكن لنظرية الفئات أن تحل محل نظرية المجموعات كأساس؟
- توفر نظرية الطوبوس ونظريات المجموعات البنيوية مثل نظرية لوفير الأولية لفئة المجموعات أسسًا فئوية كافية لمعظم الرياضيات. ما إذا كان ينبغي أن تحل محل نظرية المجموعات هو أمر محل نقاش، لكنها تقدم بديلاً بنيويًا حقيقيًا يركز على العلاقات بدلاً من الانتماء.