Natural transformation

Identity natural transformation

The identity natural transformation of a functor is the natural transformation whose component for every object is the identity morphism #m/def/cat

The form the identity morphisms in the functor category .

Properties

• Identity as a natural transformation

#state/tidy | #lang/en | #SemBr