Examples of natural transformations (part 1)
February 9, 2012 Leave a comment
I think natural transformations in particular need lots of examples, so here they are. Lets start out with categories and , and a functor . Then the identity transformation (which I’ll write as is a natural transformation:
We need to check that we can make for each . such that
commutes. Note that by , I don’t mean the identity morphism on . It has to be a morphism from to . Let’s take . By , I mean the identity morphism on . Sorry for the notational bullshit. I know it’s annoying. I think this is the best way to do it, even though it’s particularly awful.
Going across the top and then down gives us . Going down and then across gives . The diagram commutes, so the transformation is natural.
In terms of what this represents to us as mathematicians, it says that we can change a functor into itself by not doing anything. Moreover, this change is “natural” in the sense that it commutes in the way you would expect. Okay, maybe you wouldn’t expect it, but a category theorist would.