なんだか圏論を夢のような理論だと誤解してる人が居ますね
高階述語論理もまるでカーゴカルトのような認識でしょうか