Lemma 4.14.7. Suppose that $M : \mathcal{I} \to \mathcal{C}$, and $N : \mathcal{J} \to \mathcal{C}$ are diagrams whose colimits exist. Suppose $H : \mathcal{I} \to \mathcal{J}$ is a functor, and suppose $t : M \to N \circ H$ is a transformation of functors. Then there is a unique morphism

such that all the diagrams

commute.

## Comments (4)

Comment #76 by Keenan Kidwell on

Comment #83 by Johan on

Comment #88 by Keenan Kidwell on

Comment #89 by Johan on

There are also: