このブログの更新は Twitterアカウント @m_hiyama で通知されます。
Follow @m_hiyama

メールでのご連絡は hiyama{at}chimaira{dot}org まで。

はじめてのメールはスパムと判定されることがあります。最初は、信頼されているドメインから差し障りのない文面を送っていただけると、スパムと判定されにくいと思います。

参照用 記事

2008-08-19から1日間の記事一覧

コンパクト閉圏と奇妙な論理

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