你想弄懂什么？

我们不能直接在 $F$ 和 $G$ 之间谈论自然同构，因为自然同构比较的是具有相同定义域和陪域的函子。相反，视频重新表述了这个条件：$F$ 和 $G$ 是伴随的，当且仅当两个 Curry 化的同态函子 $\mathcal{B}(F(-),-)$ 和 $\mathcal{A}(-,G(-))$（两者都从 $\mathcal{A}^{op} \times \mathcal{B}$ 映射到 SET）是自然同构的。

适用条件：$F:\mathcal{A}\to\mathcal{B}$ 和 $G:\mathcal{B}\to\mathcal{A}$；两边都被视为从 $\mathcal{A}^{op}\times\mathcal{B}$ 发出的函子；自然同构是在具有相同定义域和陪域的函子之间

我们不能直接在 $F$ 和 $G$ 之间谈论自然同构，因为自然同构比较的是具有相同定义域和陪域的函子。相反，视频重新表述了这个条件：$F$ 和 $G$ 是伴随的，当且仅当两个 Curry 化的同态函子 $\mathcal{B}(F(-),-)$ 和 $\mathcal{A}(-,G(-))$（两者都从 $\mathcal{A}^{op} \times \mathcal{B}$ 映射到 SET）是自然同构的。

适用条件：$F:\mathcal{A}\to\mathcal{B}$ 和 $G:\mathcal{B}\to\mathcal{A}$；两边都被视为从 $\mathcal{A}^{op}\times\mathcal{B}$ 发出的函子；自然同构是在具有相同定义域和陪域的函子之间