Naturality (part 1)
February 7, 2012 3 Comments
I claim that a functor is really just a map on morphisms. In the definitions I gave, I said it was a map on categories in the sense that it was a map on morphisms and on objects. Well yes, but the part about how it affects objects is secondary in the following sense. Suppose I told you all the information about what a given functor does to morphisms. You could reconstruct what it does to objects by seeing “where the endpoints go.” If , then I could see what is by considering the domain of .
This is to say, I can think of functors as maps on morphisms. This makes the following idea seem mildly reasonable:
- Morphisms are maps between objects (by definition)
- Functors are maps between morphisms (by the above argument)
- ??? are maps between functors
It almost seems “natural” to ask what’s next in the sequence. The answer is “natural transformations.” That is, we define a natural transformation to be what comes next.
So technically, here’s the definition. Let be functors between categories and . Then a natural transformation is a collection of maps such that, for any map , the following diagram commutes:
Let’s unravel this. If I input a functor into a natural transformation , it should spit out another functor . Functors are maps on morphisms, so I need to tell you what does to morphisms. That is, I need to tell you what is. This diagram tells you how to get from and .
Yes, I get it, you are probably confused. This sort of thing happens to all of us in category theory. But if you push through it, you’ll at least get used to how it works, even if you don’t feel like you’re gaining understanding.