>>195
これ、エタール的対象である絶対ガロア群の話だよね
抽象的な位相群から同型物を取る時に元の「操作の履歴」を「忘れる」ということなんだけど、
S・Sだって忘却関手のことを忘れるような初歩的なミスをしているわけでもない
不定性があっても充満忠実であれば普通に同型でいいんだ、というようなことを言っている
ここが議論の分かれ目なんだよね。本当に泥仕合だよ