>>567
もっちーはHrushovskiの幾何をどこまで圏論の性質だけにもってけるかという研究に注目してる
ただ数論幾何全般で幾何学的モデル理論が注目されているので別にもっちー固有の興味ではないが
https://www.jstage.jst.go.jp/article/sugaku1947/53/1/53_1_76/_pdf
>>569
圏論とかコホモロジーってのは一種の手法全般なんだよ、例えば関数に匹敵する手法