Every generalized element of X can be regarded as a morphism whose codomain is X, so understanding these maps is essential in category theory.