covariant,
adj.
see
functor
.