你想弄懂什么？

在 $A$ 中自然意味着伴随对应关系与通过任何态射 $h:A'\to A$ 的前复合兼容。具体来说，取一个态射 $A\to G(B)$，与 $h$ 前复合，然后通过伴随进行转换，其结果与首先将 $A\to G(B)$ 转换为 $F(A)\to B$，然后与 $F(h):F(A')\to F(A)$ 前复合是相同的。

适用条件：固定一个对象 $B\in\mathcal{B}$。；该陈述对 $\mathcal{A}$ 中的所有态射 $h:A'\to A$ 进行量化。；对应关系是在 $\mathcal{A}$ 中的态射和 $\mathcal{B}$ 中的态射之间。

在 $A$ 中自然意味着伴随对应关系与通过任何态射 $h:A'\to A$ 的前复合兼容。具体来说，取一个态射 $A\to G(B)$，与 $h$ 前复合，然后通过伴随进行转换，其结果与首先将 $A\to G(B)$ 转换为 $F(A)\to B$，然后与 $F(h):F(A')\to F(A)$ 前复合是相同的。

适用条件：固定一个对象 $B\in\mathcal{B}$。；该陈述对 $\mathcal{A}$ 中的所有态射 $h:A'\to A$ 进行量化。；对应关系是在 $\mathcal{A}$ 中的态射和 $\mathcal{B}$ 中的态射之间。