你想弄懂什么？

两个函子 $F$ 和 $G$（均从范畴 $C$ 映射到范畴 $D$）之间的自然变换 $\eta$ 是一条规则，它为 $C$ 中的每个对象 $x$ 分配 $D$ 中的一个态射 $\eta_x$，具体是从 $F(x)$ 到 $G(x)$。这个态射 $\eta_x$ 被称为自然变换在对象 $x$ 处的分量。

适用条件：$F$ 和 $G$ 是从范畴 $C$ 到范畴 $D$ 的函子。；对于 $C$ 中的每个对象 $x$，$\eta_x$ 是 $D$ 中从 $F(x)$ 到 $G(x)$ 的态射。；对于 $C$ 中的每个态射 $h: x \to y$，必须满足交换方块条件 $\eta_y \circ F(h) = G(h) \circ \eta_x$。

两个函子 $F$ 和 $G$（均从范畴 $C$ 映射到范畴 $D$）之间的自然变换 $\eta$ 是一条规则，它为 $C$ 中的每个对象 $x$ 分配 $D$ 中的一个态射 $\eta_x$，具体是从 $F(x)$ 到 $G(x)$。这个态射 $\eta_x$ 被称为自然变换在对象 $x$ 处的分量。

适用条件：$F$ 和 $G$ 是从范畴 $C$ 到范畴 $D$ 的函子。；对于 $C$ 中的每个对象 $x$，$\eta_x$ 是 $D$ 中从 $F(x)$ 到 $G(x)$ 的态射。；对于 $C$ 中的每个态射 $h: x \to y$，必须满足交换方块条件 $\eta_y \circ F(h) = G(h) \circ \eta_x$。

$p$ 处的余切空间是 $p$ 处切空间的对偶空间。它被写成 $\operatorname{Hom}(T_p\mathbb{R}^n, \mathbb{R})$，因为它由从切空间 $T_p\mathbb{R}^n$ 到域 $\mathbb{R}$ 的所有线性映射组成。

适用条件：$p$ 是一个基点。

$p$ 处的余切空间是 $p$ 处切空间的对偶空间。它被写成 $\operatorname{Hom}(T_p\mathbb{R}^n, \mathbb{R})$，因为它由从切空间 $T_p\mathbb{R}^n$ 到域 $\mathbb{R}$ 的所有线性映射组成。

适用条件：$p$ 是一个基点。

对于域 $F$ 上的光滑流形 $M$，$p$ 处的余切空间定义为 $\operatorname{Hom}(T_pM, F)$。前面的 $\mathbb{R}^n$ 例子可以通过取 $M = \mathbb{R}^n$ 和 $F = \mathbb{R}$ 来恢复。

适用条件：$M$ 是一个光滑流形。；$F$ 是流形所在的域。

对于域 $F$ 上的光滑流形 $M$，$p$ 处的余切空间定义为 $\operatorname{Hom}(T_pM, F)$。前面的 $\mathbb{R}^n$ 例子可以通过取 $M = \mathbb{R}^n$ 和 $F = \mathbb{R}$ 来恢复。

适用条件：$M$ 是一个光滑流形。；$F$ 是流形所在的域。