コンパクト閉圏（compact closed categories）やその仲間の圏が、だいぶ利用されるようになってきました。それで、「なんで『コンパクト』なんだろう？」と一度は疑問に感じますよね。トポロジーのコンパクトとは関係しそうにありません。僕は、コンパクト論…