estos isomorfismos son "naturales" en el sentido que definen una transformación natural entre los dos funtores implicados Ab x Ab x Ab -> Ab.