Are you trying to describe optimization techniques using category theory or am I missing something?

If yes, then what's the point? You won't get anything out of renaming "mapping" with "functor".