>>237
「用語の使い方が標準からずれている」くらいなら合わせる余地はあるだろう
フロベニウス準同型や絶対ガロア群、位相群といった古典的構造が基盤になっていて
（用語がずれていても）議論が圏論的な範囲に収まるなら形式化自体はできるはず
そうじゃないことがはっきりしたら、それもそれで収穫だし
一年半もあればできるだろうにな