¿Qué es categorías?
En matemáticas, una **categoría** es una estructura abstracta que formaliza conceptos como los conjuntos y sus funciones, o los espacios topológicos y sus aplicaciones continuas. Una categoría consta de **objetos** y **morfismos** (también llamados flechas). Los objetos son entidades abstractas y los morfismos son las relaciones entre ellos. Cada morfismo tiene un objeto de origen y un objeto de destino. Además, existe una operación de composición que permite combinar morfismos, cumpliendo con las leyes de asociatividad (el orden de agrupación en la composición no importa) y la existencia de un morfismo identidad para cada objeto (un morfismo que 'no hace nada' al ser compuesto). Las categorías proporcionan un lenguaje unificador para describir y relacionar diferentes estructuras matemáticas, permitiendo transferir ideas y resultados entre áreas aparentemente dispares. No se centra en la naturaleza intrínseca de los objetos, sino en sus relaciones a través de los morfismos.
Ejemplo Resuelto
Considera la categoría de conjuntos (**Set**). Los objetos son conjuntos (e.g., {1, 2, 3}, {a, b}) y los morfismos son funciones entre conjuntos (e.g., una función que mapea 1 a a, 2 a b, y 3 a b). La composición de morfismos es simplemente la composición usual de funciones.