Si "X" es un objeto de la categoría "C", entonces la asignación "Y" |-> Mor("X", "Y") define un funtor covariante "F": "C" -> Set.