El objetivo de esta unidad interactiva es continuar con el estudio de las categorías, functores y 
       transformaciones naturales. En esta lección introducimos el concepto de identidad en las categorías, 
       el cual es un ingrediente esencial en la definicion de éstas.