関数型言語に対応する計算はλ計算、それに対応するのは Cartesian closed category。プロセスに対応する計算といえばCCSやπ算法、それではそのカテゴリー的対応物は？ 一応、Abramskyの interaction categories が提案されているが、ちゃんと定義が与えられ…

本日は出張。起床は11時、宅急便の配達に起こされる。メールを書く。少し家を出るのが遅れ、阪急駅まで坂道を走る。