Let (A, ) and (B, ) be representations of the covariant functors S: S and

Let (A, α) and (B, β) be representations of the covariant functors S: ℓ → S and T: ℓ → S respectively. If T: S → T is a natural transformation, then there is a unique morphism ∫: A → A in e such that the following diagram is commutative for every object C of ℓ: 

Transcribed Image Text:

ac home(A,C) S(C) hom(f,lc) T TC home(B,C) T(C) Be