covariantizations