理解自然变换的水平构图的困惑
Confusion in understanding horisontal composition of natural transformations
我目前正在阅读 Bartosz Milewski 的《程序员范畴论》。在关于自然变换的章节中，我找到了以下段落：
Let’s focus on two objects of — categories and . There is
a set of natural transformations that go between functors that connect
to . These natural transformations are our new arrows from to
. By the same token, there are natural transformations going between
functors that connect to , which we can treat as new arrows going
from to . Horizontal composition is the composition of these
arrows.
谁能解释一下连接类别 C 和 D 的函子之间的自然变换是如何突然变成连接 C 和 D 的箭头，这又使它再次成为函子？
碰巧 Cat 比明显的结构具有更多的结构：一个以类别作为对象和函子作为态射的类别。还有第二层，我们将所有从 C 到 D 的函子对之间的所有自然变换组合在一起，并将其称为从 C 到 D 的 hom 集。我们根据自然变换的水平组合来定义这些 hom 集之间的组合.注意，这些新的 hom 集不同于旧的 hom 集，后者是函子集。
我目前正在阅读 Bartosz Milewski 的《程序员范畴论》。在关于自然变换的章节中，我找到了以下段落：
Let’s focus on two objects of — categories and . There is a set of natural transformations that go between functors that connect to . These natural transformations are our new arrows from to . By the same token, there are natural transformations going between functors that connect to , which we can treat as new arrows going from to . Horizontal composition is the composition of these arrows.
谁能解释一下连接类别 C 和 D 的函子之间的自然变换是如何突然变成连接 C 和 D 的箭头，这又使它再次成为函子？
碰巧 Cat 比明显的结构具有更多的结构：一个以类别作为对象和函子作为态射的类别。还有第二层，我们将所有从 C 到 D 的函子对之间的所有自然变换组合在一起，并将其称为从 C 到 D 的 hom 集。我们根据自然变换的水平组合来定义这些 hom 集之间的组合.注意，这些新的 hom 集不同于旧的 hom 集，后者是函子集。