Los primeros desarrollos de la teoría de categorías vinieron impulsados en los años 40 para cubrir necesidades del álgebra homológica. La posterior teoría general de categorías fue una actualización del álgebra universal, que estudiaba las características comunes de diversas estructuras algebraicas. 1
En los repositorios del doble grado hay unos apuntes de introducción
a la Teoría de Categorías con su código fuente bajo licencia CC BY-NC-SA 3.0. En
ellos se explican tipos de morfismos y propiedades universales. Se
hace especial hincapié en productos y coproductos y se pasan a explicar
los functores y las transformaciones naturales. El objetivo no es aportar
otra explicación formal de la teoría de categorias, sino dar una idea
general de los conceptos básicos:
Introducción a la Teoría de Categorías