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

من ويكيبيديا، الموسوعة الحرة

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


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

[تحرير] مراجع

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