The MathResource
covariant,
adj. see functor.