A functor symbol representing the category of abelian groups in abstract algebra and category theory.
