Skip to content
START WITH A QUESTION

What would you like to understand?

Find an answer. See the moment it becomes clear. Follow the idea further.

← Concept directory

Answers for “在伴随的定义中,两个函子 $\mathcal{B}(F(-),-)$ 和 $\mathcal{A}(-,G(-))$ 有什么用?”

1 keyword matches

Understanding your question. You can explore the search results below now.

Find a method

↗

We cannot speak of a natural isomorphism directly between FF and GG because natural isomorphisms compare functors with the same domain and codomain. Instead, the video reformulates the condition: FF and GG are adjoint if and only if the two curried hom-functors B(F(−),−)\mathcal{B}(F(-),-) and A(−,G(−))\mathcal{A}(-,G(-)), both mapping from Aop×B\mathcal{A}^{op} \times \mathcal{B} to SET, are naturally isomorphic.

Conditions: F:A→BF:\mathcal{A}\to\mathcal{B} and G:B→AG:\mathcal{B}\to\mathcal{A}; Both sides are regarded as functors out of Aop×B\mathcal{A}^{op}\times\mathcal{B}; The natural isomorphism is between functors with the same domain and codomain