We cannot speak of a natural isomorphism directly between and because natural isomorphisms compare functors with the same domain and codomain. Instead, the video reformulates the condition: and are adjoint if and only if the two curried hom-functors and , both mapping from to SET, are naturally isomorphic.
Conditions: and ; Both sides are regarded as functors out of ; The natural isomorphism is between functors with the same domain and codomain
We cannot speak of a natural isomorphism directly between and because natural isomorphisms compare functors with the same domain and codomain. Instead, the video reformulates the condition: and are adjoint if and only if the two curried hom-functors and , both mapping from to SET, are naturally isomorphic.
Conditions: and ; Both sides are regarded as functors out of ; The natural isomorphism is between functors with the same domain and codomain