zbjˈur fʃˈɨstkiɣ ɡrˈup ˌabɛlˈɔvɨɣ vrˈas s xˌɔmɔmɔrfˈizmɛm mʲˌɛndʑɨ ɲˈimi stanˈɔvi kˌatɛɡˈɔrjɛ prɔtˈɔtɨp kˌatɛɡˈɔrji ˌabɛlˈɔvɛj.
Zbiór wszystkich grup abelowych wraz z homomorfizmem między nimi stanowi kategorię  prototyp kategorii abelowej.