- 840 名前：１３２人目の素数さん mailto:sage [2019/05/23(木) 22:49:06.35 ID:/6/82kk4.net]
- 書き忘れてました
忘却関手(forgetting the “histories of operations”)を強調しているだけでなく、
単遠アーベル的復元によって生じる2つの不定性（クンマー離脱不定性、エタール輸送不定性）も生じているので、
充満多重同型は“mysterious indeterminate isomorphism”（エイリアン・コピー論文より）なのです
