19/11/28 22:04:39.24 QE53xsMT.net
>>492
充満多重同型とは「副有限群としては同型、体としては非同型」であり「位相構造はリセットされる」というものですね
問題は公けではロバーツが書いていますが、忘却関手を放置してなんで同型と言えるのというｗ
まあ考え方としては“forgetting the histories of operations”としてクンマー理論＋単遠アーベル的復元/構成で
水平射で双遠アーベル的でない一方通行の復元（不可逆性）をやりたいわけですよ
非常に似ているが異質な環構造にして対数テータ格子、多輻的アルゴリズムで近似解を求めたいわけです
以前のデータをリセットしつつ次の系列につなげてスウィッチング・プロパティによって組合せ論的に処理していく
誤解を恐れず大雑把に書きましたが、圏論的には前代未聞でロバーツに“pravate fan dance”と呼ばれても仕方のないものであり
到底安易に納得できるものではありませんね