identity functor

Category theory, Computing, Engineering, Mathematics, Natural sciences, Physical sciences, Sciences A functor from a category to itself which maps each object of that category to itself and each morphism of that category to itself.