Assertion: natural transformation | /r/CapableOf | consist d$
Facets:
value: of a collection of maps
type: OTHER
Source sentences:
text: If, on the other hand, $G$ is constant at $d$ in $\mathsf{D}$ while $F$ is arbitrary, then a natural transformation consists of a collection of maps $F(x)\overset{\eta_x}{\longrightarrow} d$ so that $\eta_y\circ F(f)=\eta_x$ whenever $x\overset{f}{\longrightarrow}y$ is a morphism in $\mathsf{C}$.