今回から、生のURLは出さないことにしました。見にくいだけで、たいして意味がないので。 コンパクト閉圏 : コンパクト閉圏に関する覚え書き 記事の冒頭に書いておいたことですが、（僕以外に）コンパクト閉圏に興味を持つ人なんて事実上いそうにないので、…