Are the components of a natural transformation $ \alpha : F \rightarrow G $, where $F, G : C \rightarrow D$ are functors, always morphisms "of" $D$? or can we just"imagine" them?
- Anybody can ask a question
- Anybody can answer
- The best answers are voted up and rise to the top
Since $\alpha_c \colon Fc \to Gc$ and $Fc,Gc$ are objects of $D$ (we take $c$ to be an object of $C$), then $\alpha_c$ needs to be a morphism of $D$. If it isn't but the diagram does commute, then it is not a natural transformation of $F,G$ as functors to $D$, but to a category in which $D$ embeds fully and faithfully. If it is, but the diagram doesn't commute, then it is not a natural transformation.