Noun
identity functor (plural identity functors) (category theory) A functor from a category to itself which maps each object of that category to itself and each morphism of that category to itself.