It seems that the functor on the category infinite sets that adds one disjoint  point  * to any  set is not naturally isomorphic to the identity functor.