>>822 補足

"anabelioid"、"Frobenioid"
ホッジシアター、Θ-link・・・
沢山の 望月IUT独自の用語と定義が IUT内にならぶ
多くの数学者にとって 初めて見聞きする用語だろう

まあ、プログラミング言語だと思いなさいよ
圏論という プログラミング言語は スタンダードでも
出来上がった コンピュータプログラムは
いままで どこにも無かった望月氏のオリジナルなもの

そういうことでしょうね ；ｐ）