En mathématiques, en algèbre générale, un morphisme (ou homomorphisme) est une application entre deux structures algébriques de même espèce, c'est-à-dire des ensembles munis de lois de composition interne ou externe (par exemple deux groupes ou deux espaces vectoriels), qui préserve certaines propriétés en passant d'une structure à l'autre.
La notion de morphisme de généralise en théorie des catégories où c'est l'un des concepts de base ; ce n'est alors pas nécessairement une application, mais une « flèche » reliant deux « objets » ou « structures » qui ne sont pas nécessairement des ensembles.