אובייקט חבורתי

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

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

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

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

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

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