There are a bunch; I don't know that I have a favorite. Here's one for now: 

The free commutative monoid functor is a categorification of the exponential function.