Description: Value of the morphism part of the identity functor. (Contributed by Mario Carneiro, 28-Jan-2017)