موسوعة:نظرية الأصناف

المدلال (functor)‏ في نظرية التصنيف، هونوع من الإسقاطات بين التصنيفات.المدللات يمكن أن تصور على أنها مشاكلات ضمن تصنيف من التصنيفات الصغيرة. المدللات أدخلت أولًا ضمن الطوبولوجية الجبرية ـ تتارفق أغراض جبرية (مثل الزمرة الأساسية) مع الفضاءات الطوبولوجية، والتشاكل الجبري يترافق مع إسقاط مستمر (دالة متصلة). حاليًا تسعمل المدللات من خلال الرياضيات الحديثة لربط الصنيفات المختلفة.

تمثيل تخطيطي لفئة ذات كائنات X و Y و Z و morphisms f و g و g ∘ f. (تظهر أشكال الهوية الثلاثة للفئة 1X و 1 Y و 1Z ، إذا تم تمثيلها صراحة، في صورة ثلاثة أسهم، من الحروف X و Y و Z إلى أنفسهم ، على التوالي.)