Por lo tanto, una transformación natural se puede considerar como un morfismo de funtores.