>>446
それだと同じ関手を二つ並べたら、それで終わりじゃないですか!
自明に自然同値があるわけだから。

まず、定義をあたえてからですよ、個々の話は。