Definition:Morphism in Category