פונקטור – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
המיפוי המקורי הוא מ"ט -> מבנים אלגבריים (ע"ע החבורה היסודית, חבורות ההומולוגיה וכו'). שיניתי לניסוח ברור יותר.
שורה 1:
{{סימון מתמטי}}
ב[[מתמטיקה]], ובמיוחד ב[[תורת הקטגוריות]], פונקטור הוא סוג מיוחד של העתקה בין קטגוריות.
פונקטורים הוגדרו לראשונה ב[[טופולוגיה אלגברית]], שם שויכו [[מבנה אלגברי|מבנים אלגבריים]] ל[[מרחב טופולוגי|מרחבים טופולוגיים]] (למשל [[החבורה היסודית]]), ו[[הומומורפיזם|הומומורפיזמים]] אלגבריים שויכו ל[[פונקציה רציפה (טופולוגיה)|פונקציות רציפות]].
 
פונקטורים הוגדרו לראשונה ב[[טופולוגיה אלגברית]], שם שויכו [[מבנה אלגברי|מבנים אלגבריים]] ל[[מרחב טופולוגי|מרחבים טופולוגיים]] (למשל [[החבורה היסודית]]), ו[[הומומורפיזם|הומומורפיזמים]] אלגבריים שויכו ל[[פונקציה רציפה (טופולוגיה)|פונקציות רציפות]]. כיום, פונקטורים קיימים בכל תחומי המתמטיקה, והם מאפשרים ליצור קשרים בין תחומים מתמטיים שונים.
 
את המונח טבע [[רודולף קרנפ]], והוא אומץ על-ידי אחד ממייסדי תורת הקטגוריות, [[סאונדרס מק'ליין]].
 
==הגדרה פורמלית==