自然変換の自分の理解が合ってるか不安なので質問したいんですが
関手F:圏C→圏D と 関手G:圏D→D
があったら、F→G°F の自然変換が作れる
逆に、上のようなG、Fを用いてG°Fのような形では書けない自然変換がある
という理解は合ってますか？