Es decir, pedimos identificar la imagen del mapa fibrado asociado (el cual es realmente un funtor).