カウフマンの"Knots"（http://citeseer.ist.psu.edu/497874.html）のfigure38を見てやっと納得した。f:1×X→1×Xに対して、tr(f) = TrX1,1(f)と定義すると、自己射の全トレースが定義できる。tr(f)の値はいわゆるスカラー射（1→1のこと）になる。idXの全トレー…

ブレイドのマルコフの定理は、ステファネスクの酵素公理や長谷川の一様性原理と関係あると思う。 昔、僕は、再帰方程式系のx=x、{x=x', x'=x} の扱いに困っていたが、マルコフの定理と関係するだろう。 テンプレート言語＝テンプレートインスタンスの集合は…

なんだか忘れそう、と思ったものはたいていホントに忘れる。しんどくてもメモ。