contravariant,
see
functor
.