Why is the notation $\text{Hom}_C(A,B)$ used to denote morphisms?

92 Views Asked by At

In category theory, the set of morphisms between two objects A and B of a category C is denoted $\text{Hom}_C(A,B)$. Historically or practically, why is this notation used? Of course, Hom likely refers to the concept of a homomorphism, but since category theory is more general, and morphisms need not be homomorphisms, why do we still use the notation "Hom"?

Is there a historical reason we use "Hom" to denote morphisms based on the development of category theory and if so, what is it? Alternatively, is there an express purpose to the notation?