不定性があるから受け入れられにくいなんて、∞圏やスタックの時代にはちょっと無理な言い訳かなと
正当な構造的不定性なら今の数学者は余裕で認める