continuous_map.continuous_induced
C(α, -) is a functor.