קטגוריה (מתמטיקה) – הבדלי גרסאות

'''קטגוריה''' <math>\mathcal C</math> מורכבת מהמידע הבא:

* [[מחלקה (מתמטיקה)|מחלקה]] <math>Ob(\mathcal C)</math> של '''עצמים''' (או '''אובייקטים''')

* לכל שלושה אובייקטים a, b ו-c, קיים [[אופרטור בינארי]] <math>\,\mbox{Hom}(a,b) \times \mbox{Hom}(b,c) \rightarrow \mbox{Hom}(a,c)</math> הנקרא ''הרכבת מורפיזמים''. הרכבת המורפיזמים <math>\,f:a \rightarrow b</math> ו-<math>\,g:b \rightarrow c</math> מסומנת על ידי <math>\,g \circ f</math> או פשוט <math>gf\,</math>.