The canonical example in my mind is:

Sets ~> vector spaces ~> linear categories

This is not so trivial -- it is relevant to the topic of [extended TQFTs][1].

[1]: http://ncatlab.org/nlab/show/extended+topological+quantum+field+theory