http://d.hatena.ne.jp/m-hiyama/20110302/1299029346 以来、しばらく使ってなかった。使えなくなっていた。/c/Installed/msysgit/ 以下に入っているが、パスがいってない。/c/Installed/msysgit/bin/git を直接呼んだら、libiconv-2.dll がないと言う。/c/I…

Title: Torsors, herds and flocks Authors: Thomas Booker, Ross Street URL: http://arxiv.org/abs/0912.4551 なんなのこれ？ torsorなんて辞書にもない言葉だし。ロス・ストリートは還暦だいぶ過ぎていると思うが、、、このジイサンも凄いよな。

f:A→ B1, ..., Bn と g:A→ C1, ..., Cn がスパイダー射（cooperation）のとき、f▲g という射が定義できる。 f▲g : A → B1×C1, ..., Bn×Cn fとgは形状が同じだから、重ねあわせて、域の側はそのまま、余域側はワイヤー（成分）ごとに積を作る。多圏には積があ…

次のようなことでクローズすることがある。 別な方法で解決した。 別な方法に方針を変えたので、もはや問題ではなくなった。