In mathematics, the category Ab has the abelian groups as objects and group homomorphisms as morphisms. This is the prototype of an abelian category:[1] indeed, every small abelian category can be embedded in Ab.[2]