書き忘れてました
忘却関手(forgetting the “histories of operations”)を強調しているだけでなく、
単遠アーベル的復元によって生じる2つの不定性（クンマー離脱不定性、エタール輸送不定性）も生じているので、
充満多重同型は“mysterious indeterminate isomorphism”（エイリアン・コピー論文より）なのです