自然変換の定義
https://img.hyuki.net/twitter-1198538604810620929-1.jpg
「ちょうど一つ構成できる」というけれど、F(A1)→G(A2)という射が圏𝓑に複数個あってもいいはずですよね？
自然変換（と変換）について三好博之さんからコメントをいただきました。ありがとうございます。「射A1→A2に対して自然性を示す四角図式が一つ構成できる」「自然性が成り立っていれば合成射F(A1)→G(A2)が一意的に定まる」 複数人からリプいただきました。ありがとうございます😊
ここでも対象の動きよりも射に注目した方がいいと感じる。