Si "f" : "A" → "A" and "g" : "B" → "B" son morfismos en Ab, entonces se tiene este homomorfismo Hom("f","g") : Hom("A","B") → Hom("A","B") dado por φ |→ "g" o φ o "f".