自然に成り立つ
well-defined的なmrsekut.icon
関手同士の同型を言うときに、個別の対象について見ても全部成り立ってますよ的なことを言っている
つまり、自然変換の各成分が同型射のとき、その自然変換は同型である
だから、たぶんこれは自然同型の文脈でしか出てこない言い回し #??
参考
ベシ圏 p.37 定義1.3.12
https://www.youtube.com/watch?v=A9dJ8Y6wD9Q
日常的な用語の「自然な」と同じ
普通に考えて、当たり前に、当然、そらそうやろ、って感じのやつ
例えばこんな
$ f: X\times Y\ni \lang x,y\rang\mapsto x\in X　
この「自然な」を数学的にちゃんと定義したものが自然変換