text: Если A {\displaystyle {\mathcal {A}}} — произвольная абелева категория и A {\displaystyle A} — её объект, то H o m A ( A , X ) {\displaystyle \mathrm {Hom} _{\mathcal {A}}(A,X)} — ковариантный аддитивный функтор в категорию абелевых групп.