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 composición de morfismos
       en las categorías, el cual es el último ingrediente en la definicion de éstas.