以下の絵は、新しいスタイルのトレース付き圏（トレース付きバランス圏とその特殊化）の公理を表しています。（長谷川真人さんの "On Traced Monoidal Closed Categories", 28 November 2007 より、「トレース付きモノイド圏の新しい定義」から再掲。）ここ…

このダイアリーの一番上にある検索ボックスなんですが、Chromeだと、バックスペースキーとか空白キーが奪われてしまって、めちゃくちゃ不愉快なんですけど。なんか便利になる機能が追加されたんでしょうが、その機能も利便性も僕はよく知らない。バックスペ…