Por exemplo, a categoria dos grupos tem como objectos todos os grupos e como morfismos todos os homomorfismos desses grupos.
puɹ ˌezˈeɪmplʊ, ɐ kˌɐtɨɡuɾˈiɐ dʊʒ ɡɹˈupʊʃ teɪŋ kˈomw ˌɔbʒˈɛtʊʃ tˈodʊz uʒ ɡɹˈupʊz i kˈomʊ mˌuɾəfˈiʒmʊʃ tˈodʊz uʒ ˌumumuɾəfˈiʒmʊʒ dˈesɨʒ ɡɹˈupʊʃ.