Kategorien av alle abelske grupper som objekt og gruppemorfier som morfier, danner prototypen av en abelsk kategori. Modulene til en ring eller til en algebra sammen med modulmorfismene mellom de, danner en abelsk kategori.