「不動点理論と対角自然性（dinaturality）」において次のように書きました。 「ほんとに対角自然変換なのか？」と疑わしくなってきました。ここからの話は、いちおう辻褄は合っていると思いますが、僕が何か勘違いをしている可能性もあります。なかなかうま…