ここで、関手圏の射が自然変換であったことから