Dentro de una categoría, cada morfismo formula_1 tiene asociados dos objetos de la categoría, su dominio y su codominio, que se notan respectivamente por formula_2 y formula_3.