Cada par de funtores adjuntos define una unidad η, una transformación natural del funtor Id a "GF" que consisten en morfismos