مدلال

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

مراجع 

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

رياضيات