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.