The MathResource
contravariant,
see functor.