مدلال (رياضيات)

من ويكيبيديا، الموسوعة الحرة
اذهب إلى التنقل اذهب إلى البحث

في نظرية التصنيف : المدلال. functor نوع من الإسقاطات mapping بين التصنيفات. المدللات يمكن أن تصور على أنها مشاكلات morphism ضمن تصنيف من التصنيفات الصغيرة

المدللات أدخلت أولا ضمن الطوبولوجية الجبرية ـ تتارفق أغراض جبرية (مثل الزمرة الأساسية fundamental group) مع الفضاءات الطوبولوجية، والتشاكل homomorphism الجبري يترافق مع إسقاط مستمر (دالة متصلة). حاليا تسعمل المدللات من خلال الرياضيات الحديثة لربط الصنيفات المختلفة. أول من استخدم كلمة مدلال "functor" كان الفيلسوف كارناب [Mac Lane, p. 30].

مراجع[عدل]

  • S. Mac Lane. Categories for the Working Mathematician. Springer-Verlag: New York, 1971.