はてな記法の関係(苦笑)で、丸括弧の代わりに適宜角括弧も使う。F:C×C' → D が直積圏C×C'からDへの関手であることは、f:a→b, g:b→c in C； f':a'→b', g':b'→c' in C' だとして： F[(f f');(g, g')] = F[(f, f')];F[(g, g)] F[Id_(a, a')] = Id_(F[(a, a')] …

昨日風呂に入っていて思いついた。今まで、グラフの圏を(0+1)-コボルディズムで考えていたわけで、Gの始境界、終境界は0次元だとしてきた。が、この制限ははずせる。境界も一般のグラフだとしても別に問題ない。一般的に、A, Bがなんらかの図形（多様体、複…

バエズ（Baez）／ドーラン（Dolan）のhttp://arxiv.org/pdf/math/9802029 から： トム・レインスター（Tom Leinster）のhttp://arxiv.org/pdf/math/0106240 から：

リュウバシェンコ（Volodymyr V. Lyubashenko ）、ベスパロフ（Yu.N. Bespalov）もすごいが、コバノフ（Mikhail Khovanov; http://www.math.columbia.edu/~khovanov/）も天才だなー。なんなんだこいつら。ソ連は崩壊してしまったが、でもやっぱり、あそこら…