|
|
|
אובייקט התחלתי מוגדר ביחידות עד כדי [[איזומורפיזם]] קנוני. באופן דומה, כך גם אובייקט סופי.
נראה זאת לגבי אובייקט התחלתי: נניח ש-<math>I_1</math> ו-<math>I_2</math> הם אובייקטים התחלתיים. אזי קיים ויחיד <math>f \in \mathrm{Mor}(I_1,I_2)</math> יחיד כי ''I1I<sub>1</sub>'' אובייקט התחלתי וקיים ויחיד <math>g \in \mathrm{Mor}(I_2,I_1)</math> יחיד כי ''I2I<sub>2</sub>'' אובייקט התחלתי. כעת, <math>g \circ f \in \mathrm{Mor}(I_1,I_1)</math> אבל <math>\mathrm{id}_{I_1} \in \mathrm{Mor}(I_1,I_1)</math> ומאחר שהוא יחיד בקבוצה זו <math>\mathrm{id}_{I_1} = g \circ f</math>. באופן דומה מוכיחים ש-<math>f \circ g = \mathrm{id}_{I_2}</math> ולכן ''f'' ו-''g'' הופכיים אחד לשני ומהווים [[איזומורפיזם|איזומורפיזמים]] כך ש-<math>I_1 \cong I_2</math>.
== דוגמאות ==
|
