يرجى مراجعة هذه المقالة وإزالة وسم المقالات غير المراجعة، ووسمها بوسوم الصيانة المناسبة.

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

من ويكيبيديا، الموسوعة الحرة
اذهب إلى: تصفح، ‏ ابحث
N write.svg
هذه مقالة غير مراجعة. ينبغي أن يزال هذا القالب بعد أن يراجعها محرر ما عدا الذي أنشأها؛ إذا لزم الأمر فيجب أن توسم المقالة بقوالب الصيانة المناسبة. (يوليو 2007)

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

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

مراجع[عدل]

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