Морфізм

Морфізм ${\displaystyle f\in \mathrm {Hom} (A,B)}$ називається ізоморфізмом, якщо існує такий морфізм ${\displaystyle g\in \mathrm {Hom} (B,A)}$, що ${\displaystyle g\circ f=id_{A}}$ та ${\displaystyle f\circ g=id_{B}}$. Два об'єкти, між якими існує ізоморфізм, називаються ізоморфними. Зокрема, тотожний морфізм є ізоморфізмом, тому будь-який об'єкт ізоморфний сам собі.

Морфізми, в яких початок і кінець збігаються, називають ендоморфізмами. Безліч ендоморфізмів ${\displaystyle \ \mathrm {End} (A)=\mathrm {Hom} (A,A)}$ є моноїдом щодо операції композиції з одиничним елементом ${\displaystyle \ id_{A}}$.

Ендоморфізми, які одночасно є ізоморфізмами, називаються автоморфізмами. Автоморфізми будь-якого об'єкта утворюють групу автоморфізмів ${\displaystyle \ \mathrm {Aut} (A)}$ по композиції.

Мономорфізм — це морфізм ${\displaystyle f\in \mathrm {Hom} (A,B)}$ такий, що для будь-яких ${\displaystyle g_{1},g_{2}\in \mathrm {Hom} (X,A)}$ з ${\displaystyle f\circ g_{1}=f\circ g_{2}}$ випливає, що ${\displaystyle \ g_{1}=g_{2}}$. Композиція мономорфізмів є мономорфізмом.

Епіморфізм — це такий морфізм, що для будь-яких ${\displaystyle g_{1},g_{2}\in \mathrm {Hom} (B,X)}$ з ${\displaystyle g_{1}\circ f=g_{2}\circ f}$ слідує ${\displaystyle \ g_{1}=g_{2}}$.

Біморфізм — це морфізм, що є одночасно мономорфізмом і епіморфізмом. Будь-який ізоморфізм є біморфізмом, але не будь-який біморфізм є ізоморфізмом.

Мономорфізм, епіморфізм і біморфізм є узагальненнями понять ін'єктивного, сюр'єктивного і бієктивного відображення відповідно. Будь-який ізоморфізм є мономорфізмом і епіморфізмом, зворотне, взагалі кажучи, вірно не для всіх категорій.