(a) Let S : D and T : D be covariant functors and...

Question:

(a) Let S : ℓ → D and T : ℓ → D be covariant functors and α : S → T a natural isomorphism. Then there is a natural isomorphism β: T → S such that βα = IS and αβ = IT, where IS : S → S is the identity natural isomorphism and similarly for IT.

(b) Extend (a) to functors of several variables.

Fantastic news! We've Found the answer you've been seeking!

Step by Step Answer:

Related Book For  book-img-for-question
Question Posted: