Se introduce el estudio de las categorías, functores y transformaciones naturales. Para esto se presenta el concepto de categoría que es una generalización de la teoría de conjuntos clásica y se demuestra su aplicabilidad y la conveniencia de aprenderlas.