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?
A question regarding the definition of natural transformation
2
$\begingroup$
category-theory
-
0what do you mean by "just imagine them" ? in any case, as @andy explained below, the answer is YES, they are always morphisms of the target category D – 2012-07-06