functor

mathematics: a mapping between categories