20/04/25 11:57:48 O66M8Xgn.net
>>359 補足
１．上記で
”P67
Section 3: Inter-universal Formalism: the Language of Species”
が
「組合せ論的カスプ化（前回04月09日の報告を参照）の論文が完成した
星裕一郎氏との共同研究でこの単射性を証明することが
できそうになった。この共同研究が完成すると、松本氏の定理のproper
な場合への拡張ができたことになる。
スキーム論の枠組に留まる限りとてもできそうな感じがしなかったproper
な場合が、スキーム論に「パターンのヒント」を得ながらスキーム論の
枠組の外にある組合せ論的な理論を適用することによってすんなり解決
できたこと。」
とありまして
組合せ論的 スキーム論に「パターンのヒント」を得ながら
って話が、Formalism: the Language of Species かなと思うわけです