Una colección de objetos junto con, para cada par ordenado de objetos X,Y, un conjunto Hom(X,Y) de morfismos y una ley de composición asociativa ◦ : Hom(Y,Z)×Hom(X,Y) → Hom(X,Z) además de morfismos identidad id_X para cada objeto que satisfacen id_Y ◦ f = f y f ◦ id_X = f.

Principio

Relaciones abstractas (morfismos) entre objetos, con composición e identidades que permiten expresar afirmaciones estructurales independientemente de construcciones a nivel de elementos.

Demostración

La categoría Set tiene conjuntos como objetos y funciones como morfismos; la composición es la composición de funciones y las identidades son las funciones identidad sobre cada conjunto, cumpliendo asociatividad y leyes de identidad.

Aplicación incorrecta

Tratar relaciones arbitrarias o mapas multivaluados como morfismos sin asegurar componibilidad y asociatividad rompe el razonamiento categórico; omitir los morfismos identidad invalida muchas construcciones universales.

Consecuencia

Las categorías proporcionan un lenguaje unificador para expresar límites, colímites, adjuntos y functorialidad, permitiendo transferir estructuras entre dominios vía funtores y transformaciones naturales.

Inversión

Invertir las flechas en una categoría produce la categoría opuesta, que invierte la dirección de los morfismos y intercambia límites por colímites; ignorar la direccionalidad elimina asimetrías importantes.

Límite

Excluye estructuras que carezcan de composición asociativa y identidades bien definidas; las cuestiones de tamaño (categorías grandes vs pequeñas) y el enriquecimiento (categorías enriquecidas) son extensiones, no la definición básica.

Tensión semántica

Tensión con el uso cotidiano de «categoría» como etiqueta clasificatoria; en teoría de categorías el foco está en objetos y morfismos con estructura composicional más que en una simple agrupación.

Síntesis

Una categoría es un marco algebraico (Objetos, Morfismos, Composición, Identidades) que codifica relaciones composables para estudiar patrones estructurales, propiedades universales y transformaciones entre dominios matemáticos.