この同型\(\cong\)は、\(F\)と\(A\)に対して自然である。Nat}\)と記された自然変換について説明する。Nat}\)と\(F\)は自然変換といっている。G\)とは次のことを言う。B\)に対して、下図が可換であるものをいう。ここで、\(\vartheta_X\)は\(\vartheta\)の\(X\)成分という。米田の補題の自然変換の部分を表すと下図の可換図式が得られる。\)の記号が現れるが、これは自然同型と呼ばれる。\)のすべての成分が同型射であることをいう。米田の補題には、最後に\(F\)と\(A\)に対して自然という記述がある。これは次のことを意味する。G\)に対して、下図が可換となることである。G\)に対して、下図が可換となることである。米田の補題の証明である。参加グループ知識リンクはてなブログブログをはじめる週刊はてなブログはてなブログProはてなブログをはじめよう!bitterharvestさんは、はてなブログを使っています。ブログを報告する引用をストックしましたストック一覧を見る閉じる引用するにはまずログインしてくださいログイン閉じる引用をストックできませんでした。再度お試しください閉じる限定公開記事のため引用できません。