>>90
圏と基礎論を並べるのもすごい不思議。
基礎論って圏の概念をネグレクトしてきたイメージなんだけど。
基礎論嫌なのは同意見。