Identity functor

The special identity functor maps a category back to itself by mapping each object in the category to itself and each arrow in the category to itself.