61. Teoría de categorías

Presenta objetos, morfismos, funtores, transformaciones naturales, productos, coproductos y adjunciones en ejemplos concretos. Organiza patrones comunes entre álgebra, topología, lógica y computación.