normal morphism

ウィキペディアから