未だにカテゴリーに拒否反応を示す人がいるのって不思議。いつの時代の人なの？
数論幾何や代数幾何の人は、普通に圏論好きなんじゃないかな？
圏論って抽象的でも無けりゃややこしい訳でもなく、ただ超簡単かつ初等的なのがいいんじゃない？
あ、もちろん基礎論は大嫌い。