Covariance and contravariance of functors