Une catégorie enrichie sur une catégorie monoïdale M {\displaystyle {\mathcal {M}}}, ou M {\displaystyle {\mathcal {M}}} -catégorie est une extension du concept mathématique de catégorie, où les morphismes, au lieu de former une classe ou un ensemble dépourvu de structure, sont des éléments de M {\displaystyle {\mathcal {M}}}. Wikipedia