Assertion: generated abelian group | /r/CapableOf | form abelian category
Facets:
Source sentences:
text: The finitely generated abelian groups, together with the group homomorphisms, form an abelian category which is a Serre subcategory of the category of abelian groups.