מורפיזם

במתמטיקה, מוֹרְפִיזְם מתייחס למיפוי משמר-מבנה, ממבנה מתמטי אחד למבנה מתמטי אחר. לדוגמה:

בתורת הקטגוריות, מורפיזם הוא רעיון דומה, אך כללי יותר: האובייקטים המתמטיים המיוחסים לא חייבים להיות קבוצות, והיחס ביניהם יכול להיות יותר כללי ממיפוי.

חקר המורפיזמים והמבנים (נקראים אובייקטים) שעליהם הם מוגדרים הוא מרכזי לתורת הקטגוריות. רבים מהמונחים הקשורים למורפיזמים, כמו גם האינטואיציה עליה הם מבוססים, מגיעים מקטגוריות מסוימות, כאשר האובייקטים הם פשוט קבוצות עם תוספת של איזשהו מבנה, והמורפיזמים הם פונקציות המשמרות את המבנה. בתורת הקטגוריות, מורפיזמים לעיתים נקראים חצים, בהתאם לצורת ייצוגם בדפוס ובהתאם לרעיון שחץ עובר מנקודת מקור לנקודת יעד.

מורפיזמים מיוחדים 
תהי  קטגוריה ויהיו  אובייקטים ב-.
 מורפיזם  נקרא אפימורפיזם אם לכל זוג מורפיזמים  עבורם  מתקיים .
 מורפיזם  נקרא מונומורפיזם אם לכל זוג מורפיזמים  עבורם  מתקיים .

ראו גם 
 תורת הקטגוריות
 קטגוריה (מתמטיקה)

קישורים חיצוניים

 

תורת הקטגוריות