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 . #m/thm/cat