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