אובייקט התחלתי ואובייקט סופי

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

הגדרה 

תהי  קטגוריה.
 אובייקט  יקרא אובייקט התחלתי (Initial object) אם לכל אובייקט  בקבוצה  יש איבר אחד בדיוק. במילים אחרות, לכל אובייקט : מ- יוצא מורפיזם יחיד ל- (כלומר:  קיים ויחיד).
 אובייקט  יקרא אובייקט סופי (Final object) אם לכל אובייקט  בקבוצה  יש איבר אחד בדיוק. במילים אחרות, לכל אובייקט : ל- נכנס מורפיזם יחיד מ- (כלומר:  קיים ויחיד).
 אובייקט  יקרא אובייקט אפס אם הוא גם אובייקט התחלתי וגם אובייקט סופי. 

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

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

דוגמאות 

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

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

ראו גם 

 מכפלה (תורת הקטגוריות)
 קו-מכפלה (תורת הקטגוריות)
 פונקטור מיוצג

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