>>918
いや具体的には名前出せないけど、最先端の圏論が数論幾何で具体的に応用できるってだけで
もう十分だろ。何で論理学としての圏論に影響する必要がある？
実在論の一種としての数論幾何や数理物理に更に情報科学の主要理論に最先端の圏論が影響する
それだけで十分事件だし、加えてDAGだって大分圏論を拡張してきたじゃん