では、命題9.16を詳細に見ていく。まず、任意のに対して、関手の自然同型の構成の復習から。自然同型であること示すのには、補題7.11から各々の対象上で同型であることを示せばよいので、となっているかが問題となる。 添え字圏は命題8.10で構成されており、…