自然に成り立つ
well-defined的なmrsekut.icon
関手同士の同型を言うときに、個別の対象について見ても全部成り立ってますよ的なことを言っている
つまり、自然変換の各成分が同型射のとき、その自然変換は同型である
だから、たぶんこれは自然同型の文脈でしか出てこない言い回し #??
参考
ベシ圏 p.37 定義1.3.12