Morphism is a generalization of Function