En el caso de una categoría concreta, "X" e "Y" son conjuntos de cierto tipo y un morfismo "f" es una función desde "X" a "Y" satisfaciendo alguna condición; este ejemplo origina la notación "f": "X" → "Y".