Los morfismos dentro de una categoría deben cumplir además los siguientes axiomas: