「一様性を持つ圏」において、部分的に定義されたトレースの概念を導入したが、僕よりずっと気が利いた定義が、"Towards a Typed Geometry of Interaction" by Esfandiar Haghverdi, Phillip J. Scott （http://www.site.uottawa.ca/~phil/papers/HS-APAL-05…

同名のエントリーが分類タグ「連絡的」とは - 檜山正幸のキマイラ飼育記 (はてなBlog)にある。メモ編にも分類タグ「連絡的」を設けるが趣旨は同じ。本編をあまり連絡に使うと、どうも“雑音”になりそうなので、ある程度の一般性がある場合、まとめのとき以外…