ηが自然変換であることも重要なん?