אובייקט אינג'קטיבי

במתמטיקה, ובמיוחד בתורת הקטגוריות, אובייקט Q בקטגוריה C נקרא אינג'קטיבי אם לכל מונומורפיזם $\,f:X\rightarrow Y$ בC, ובהינתן מורפיזם $\,g:X\rightarrow Q$ קיים מורפיזם $\,h:Y\rightarrow Q$ כך ש $\,h\circ f = g$.

לדוגמה, בקטגוריה של מודולים, מודול Q הוא אינג'קטיבי אם קיים הומומורפיזם של מודולים $\,h:Y\rightarrow Q$ ההופך את הדיאגרמה הבאה (בה השורה העליונה היא סדרה מדויקת) לקומוטטיבית:

בהינתן קטגוריה C, אומרים כי בC יש מספיק אובייקטים אינג'קטיבים, אם לכל אובייקט X בקטגוריה, יש מונומורפיזם מX לאובייקט אינג'קטיבי כלשהו. בקטגוריה אבלית בה יש מספיק אובייקטים אינג'קטיבים ניתן להגדיר פונקטורים נגזרים.

ערך זה הוא קצרמר בנושא מתמטיקה. אתם מוזמנים לתרום לוויקיפדיה ולהרחיב אותו.