En mathématiques, le terme « morphisme » désigne une notion fondamentale permettant de comparer et de relier des objets mathématiques entre eux. 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 un des concepts de base en théorie des catégories ; ce n'est alors pas forcément une application, mais une « flèche » reliant deux « objets » ou « structures » qui ne sont pas forcément des ensembles.