Identity as a natural transformation

A rather trivial but nice result: If is a category, is the identity functor and is taken to donate the corresponding Identity natural transformation, then the notation for the identity morphism of an object agrees with the component of in . cat