10:設是給定環,則我們定義R-Mod範疇如下:全體物件是全體左R-模,態射是模同態,態射合成法則是同態的複合
的逆箭頭是Set 中的同構是雙射集合函式Grp 中的同構是雙射群同態Vect中的同構是可逆線性對映如果將一個特定的群視為一個範疇,每一個箭頭都是一個同構預序範疇裡只有單位箭頭才是同構定理14如果既是單態又是可裂滿態,那麼是一個同構