# What is the map $\mathrm{Nat}(F_1,F_2)\times\mathrm{Nat}(G_1,G_2)\to\mathrm{Nat}(F_1\circ G_1,F_2\circ G_2)$?

If $C$ is a monoidal category, there is the canonical map $$\operatorname{Hom}(A_1,A_2)\times\operatorname{Hom}(B_1,B_2)\to\operatorname{Hom}(A_1\otimes B_1,A_2\otimes B_2)$$ with $(f,g)\mapsto f\otimes g$.

If $\mathcal{C}$ is a category, then the category of functors $\mathcal{C}\to\mathcal{C}$ is a strict monoidal category where the bifunctor $\otimes$ is just composition of functors, and the units are both the identity functor.

In this case, what is the map on Hom-spaces? If $\eta\colon F_1\to F_2$ and $\zeta\colon G_1\to G_2$ are natural transformations of functors, what is the natural transformation $F_1\circ G_1\to F_2\circ G_2$?

For an object $X$ in $\mathcal{C}$, $\zeta_X\colon G_1(X)\to G_2(X)$ and $\eta_{G_1(X)}\colon F_1(G_1(X))\to F_2(G_1(X))$ but nothing seems to lead to a component $F_1(G_1(X))\to F_2(G_2(X))$.

## 1 Answer

$\require{AMScd}$ Pick natural transformations $\alpha:F_1\to F_2$ and $\beta:G_1\to G_2$. For any $X$ consider

$$\begin{CD} F_1G_1X @>\alpha_{G_1X}>> F_2G_1X \\@VV{F_1\beta_X}V @VV{F_2\beta_X}V\\ F_1G_2X @>{\alpha_{G_2X}}>> F_2G_2X \end{CD}$$

Naturality of $\alpha$ applied to the vertical maps $\beta_X:G_1X\to G_2X$ implies this is commutative.

Call the composition $(\alpha\circ\beta)_X:(F_1\circ G_1)X\to (F_2\circ G_2)X$.