遷移翻訳系（トランスデューサ;transducer, XDCR）を圏を考える際に、細かい工夫をすると議論がスムーズになることに気が付いた。それらの工夫とは： アルファベット（基本記号集合）を点付き集合（pointed set）と考え、クリーネスター・モナドを点付き集合…

Title: Diagrammatics, Singularities, and Their Algebraic Interpretations (1996) Authors: J. Scott Carter, Louis H. Kauffman, Masahico Saito URL: http://citeseer.ist.psu.edu/318992.html 80ページ

時間的に一連の事象（信号）が発生している状況で、それらの終わりはどうやって判断するのだろうか。これは非常に難しい問題だ。例えとして、マラソンのゴール係になったとしよう。ランナーが次々とゴールするのだが、いったいいつゴールを片づけてもいいの…