Con el concepto de categoría se pretende capturar -poniendo el énfasis en el concepto de "relación "(de aplicación), más que de elemento y pertenencia- la esencia de una clase de objetos matemáticos, que se relacionan mediante aplicaciones, los "morfismos" en la categoría en cuestión.