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 cat

The form the identity morphisms in the functor category .

Properties


tidy | en | sembr