En teoría de categorías, el morfismo es una noción más general; una categoría viene dada por dos tipos de datos: una clase de "objetos" y, para cada par de objetos "X" e "Y", un conjunto de morfismos desde "X" a "Y".