מכפלה ישרה – הבדלי גרסאות

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

 

 

הסכום הישר מוגדר באופן דואלי: הסכום הישר של האובייקטים <math>\ A_i</math>, הוא אובייקט <math>\ B=\coprod A_i</math>, עם מורפיזמים <math>\ \iota_i {:} A_i \rightarrow B</math>, המקיימים את התכונה הבאה: לכל אובייקט <math>\ C</math> בקטגוריה עם מורפיזמים <math>\ f_i{:}A_i\rightarrow C</math>, קיים מורפיזם יחיד <math>\ f{:}B \rightarrow C</math> כך ש- <math>\ f_i = f \iota_i</math>. אם הסכום הישר קיים בקטגוריה, אז הוא יחיד עד כדי איזומורפיזם.