＞哲学ではうん十年前から圏論（カテゴリー論）を扱っており、
＞これと数学基礎論を関連付けせず語るのは片手落ちだ。

そもそも、論理と圏論の関係は密であることは
論理学者なら皆知ってることだが、素人は
論文など読まず、古本屋にあるようなテキスト
しか読まないからこんな見当違いなことを書く。