אובייקט התחלתי ואובייקט סופי – הבדלי גרסאות

של שלשות סדורות המורכותהמורכבות מעצם ''P'' ושני מורפיזמים ל-''A'' ו-''B''. כלומר, אם <math>A \times B = (P, \alpha : P \to A , \beta : P \to B )</math>, אזי לכל עצם D עם מורפיזמים <math>\alpha' : D \to A</math> ו-<math>\beta' : D \to B</math> קיים מורפיזם יחיד <math>f : D \to P</math> כך ש-<math>\alpha' = \alpha \circ f</math> ו-<math>\beta' = \beta \circ f</math>.