I've read natural transformations are the main motivation for category theory so I'm trying to get a handle on them, but having difficulty.
In this question and this quora question it is asked what the intuition behind natural transformations are. The answers seem to say natural transformations formalizes the notion a map has a "lack of arbitrarity" in its definition. However this is not clear to me for two reasons:
-
Aren't natural transformations always from categories to themselves? Whereas the notion of unique maps could be from one category to another.
-
Why does the commutative square suggest a "lack of arbitrarity"/uniqueness? I can see this might be the case, but I don't see why it should be the case.
Edit: To clarify my comments to FShrike, the dual is used as an example of non-naturality.
But if we consider a set of isomorphisms $\eta_{V}: V \rightarrow V^{*}$ for all $V$, then we can define the functor $F$ such that $F(V)$ is the codomain of $\eta_V$ and for $f:V \rightarrow W$, $F(f) = \eta_W f\eta_V^{-1}$. $F(f)$ are well defined since $\eta_{\_}$ are isomorphisms and
$$
F(f)\eta_V = \eta_Wf
$$
making $\eta_{\_}$ a natural transformation from $I$ to $F$ if there isn't a mistake.
Best Answer
$\newcommand{\hom}{\mathsf{Hom}}\newcommand{\fd}{\mathsf{FDVect_k}}$I’m not sure if it is the “main motivation” in modern terms, but as a historical note I believe Eilenberg and McLane first felt the need to define naturality, which prompted a definition of functor and then of category.
Anyway, consider a candidate class of arrows $\alpha_A:F(A)\to G(A)$ where $F,G$ are functors and $A$ objects in their common domain. Suppose $\alpha$ has some “arbitrary choice” in its definition, for example its definition relied on a particular element of $A$ (if $A$ is a set). Morally this is unnatural. Categorically, it is extremely unlikely that this arbitrary choice would stand up to inspection when you put it through the commutative square: for every arrow $f:A\to B$, for any other $B$, we demand that $\alpha_B\circ F(f)=G(f)\circ\alpha_A$. Not only that, but we demand this for all $A$ as well. Why is it extremely unlikely? Well, supposing for the sake of clarity that the objects are sets and the arbitrary choice involves some arbitrarily-chosen elements of these sets (for example, the isomorphism between $V$ and $V^\ast$, $V$ a finite dimensional vector space, is unnatural as we need to pick an arbitrary basis (=element of the set) to construct this isomorphism), then it would be very easy for me to construct a counterexample arrow $f:A\to B$ that played on this arbitrary choice, to make the square non-commutative, unless $F,G$ were extremely trivial or similar functors.
The naturality axiom also means that there is only one arrow you can construct as a composite (the diagonal of the square). If this didn’t hold, computations would be more difficult, but you’d also have to sit and worry about which route is the better one. This is unsatisfactory and an alarm bell that the approach you’re taking might not work, or might not be so meaningful, especially as you cannot make this decision in the abstract case. We should not have to make this decision, and there are distinct advantages for not needing to worry about this over needing to concern yourself with this (annoying) discrepancy.
I am new to category theory, but that is my take on it. Demanding the square commute always is A) exceptionally useful in proofs and computations, and B) it essentially removes the possibility of the arrows $\alpha_A$ having arbitrary choice (the space of counterexamples is potentially huge otherwise). We care about removing arbitrary choice in category theory and mathematics generally because if we can do something without it, that suggests a deeper link, and if a proof relies on an arbitrary choice you might say it is “unsatisfying” or not as meaningful. For example, you might have to worry if you made a bad choice, somehow.
Apropos your example natural isomorphism:
A nice exercise which might build your understanding (I enjoyed this exercise a lot, it gave me a lot of confidence that I understood the material - I'm a beginner too :)): (Source, Leinster's basic category theory):