תמונה (תורת הקטגוריות)

מתוך ויקיפדיה, האנציקלופדיה החופשית
קפיצה אל: ניווט, חיפוש

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

בקטגוריה C, מונומורפיזם הוא תמונה של המורפיזם , אם:

  1. קיים מורפיזם כך ש f=hg.
  2. לכל אובייקט Z ולכל מורפיזם ומונומורפיזם כך ש f=lk קיים מורפיזם יחיד כך ש k=mg ו h=lm.

CategoriaImagem.PNG

מן התכונה השנייה, הנקראת "אוניברסליות", נובע שאם התמונה קיימת אז היא יחידה עד כדי איזומורפיזם.

התמונה של f מסומנת לעתים קרובות ב-.

דוגמאות[עריכת קוד מקור | עריכה]

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