何日か前（2005-04-12, 2005-04-13）、indexed categoriesについて触れたことがありますが、僕は、型（タイプ）とは結局、indexed category（またはfibred category）だろうと思っています。つまり、types as indexed-categories という立場ですね。ただし、…

「『誰でも考えそうな駄洒落』をどのくらいの人が書いているかgoogleで勘定する」という誰でも考えそうなことをどのくらい人がやっているか、とgoogleで勘定してみると、意外と少ないですね。まずはここ：http://musicwebmasterblog.seesaa.net/article/2876…