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

שתי [[חבורה (מבנה אלגברי)|חבורות]] G,H הן [[איזומורפיזם (מתמטיקה)|איזומורפיות]] אם קיים הומומורפיזם <math>\ f : G \rightarrow H</math> שהוא [[פונקציה חד-חד-ערכית|חד-חד-ערכי]] ו[[פונקציה על|על]]. תכונות אלה של f שקולות לכך שהפונקציה הפיכה; במלים אחרות, קיים הומומורפיזם <math>\ hg : H \rightarrow G</math>, בכיוון ההפוך, כך שההרכבות <math>\ f\circ g, g \circ f</math> הן העתקות הזהות של H ושל G, בהתאמה. בשפת הדיאגרמות, ניתן לנסח זאת כך: קיימים הומומורפיזמים f,g כך שהדיאגרמה