Si "f": "A" → "B" y "f": "A" → "B" son dos objetos de "D", entonces un morfismo de "f" a "f" es un par ("g", "g") de morfismos tales que "g""f" = "f""g".