Action on Morphisms. For each $\webleft (A_{i}\webright )_{i\in I},\webleft (B_{i}\webright )_{i\in I}\in \text{Obj}\webleft (\mathsf{Fun}\webleft (I_{\mathsf{disc}},\mathsf{Sets}\webright )\webright )$, the action on $\textup{Hom}$-sets
\[ \webleft(\coprod _{i\in I}\webright)_{\webleft (A_{i}\webright )_{i\in I},\webleft (B_{i}\webright )_{i\in I}} \colon \text{Nat}\webleft (\webleft (A_{i}\webright )_{i\in I},\webleft (B_{i}\webright )_{i\in I}\webright )\to \mathsf{Sets}\webleft(\coprod _{i\in I}A_{i},\coprod _{i\in I}B_{i}\webright) \]
of $\coprod _{i\in I}$ at $\webleft (\webleft (A_{i}\webright )_{i\in I},\webleft (B_{i}\webright )_{i\in I}\webright )$ is defined by sending a map
\[ \webleft\{ f_{i}\colon A_{i}\to B_{i} \webright\} _{i\in I} \]
in $\text{Nat}\webleft (\webleft (A_{i}\webright )_{i\in I},\webleft (B_{i}\webright )_{i\in I}\webright )$ to the map of sets
\[ \coprod _{i\in I}f_{i}\colon \coprod _{i\in I}A_{i}\to \coprod _{i\in I}B_{i} \]
defined by
\[ \webleft[\coprod _{i\in I}f_{i}\webright]\webleft (i,a\webright ) \mathrel {\smash {\overset {\mathclap {\scriptscriptstyle \text{def}}}=}}f_{i}\webleft (a\webright ) \]
for each $\webleft (i,a\webright )\in \coprod _{i\in I}A_{i}$.