En mathématiques, le morphisme est la relative similitude d'objets mathématiques considérés du point de vue de ce qu'ils partagent comme entités ou par leurs relations.
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 respecte certaines propriétés en passant d'une structure à l'autre.
Plus généralement, la notion de morphisme est l'un des concepts de base en théorie des catégories ; 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.