הבדלים בין גרסאות בדף "איזומורפיזם"

נוספו 7 בתים ,  לפני 7 שנים
מ (הוספת קטגוריה:מורפיזמים בעזרת HotCat)
 
== הגדרה במונחים של תורת הקטגוריות ==
ב[[תורת הקטגוריות]], [[מורפיזם]] <math>f:a \mapstoto b</math> ב[[קטגוריה (מתמטיקה)|קטגוריה]] C נקרא "איזומורפיזם", אם הוא הפיך בקטגוריה, כלומר, קיים מורפיזם <math>\ g:b \mapstoto a</math> כך שמתקיים <math>\ fgf \circ g = 1_b</math> ו- <math>\ gfg \circ f = 1_a</math>.
 
בקטגוריות רבות ההגדרה הזו מתלכדת עם ההגדרה הקודמת, אך הדבר אינו נכון באופן כללי.