http://mainichi.jp/select/today/news/20090530k0000e040077000c.html

来週は「はね駒」の斉藤由貴が出る．

2圏・単体圏としての順序集合： 順序集合 に対し， の元を対象とし， に対し， を最小元， を最大元とする の部分集合を， から への射とする圏を考える．射の合成は和集合． は包含関係に関して順序集合となるので，これを圏とみなすことができ，nerve をと…

単体集合 が圏の nerve になることは，次に同値： 任意の および単体写像 に対し，拡張 が一意的に存在する． 次の条件をみたす単体集合 を Kan 複体 という： 任意の および単体写像 に対し，拡張 が存在する． 位相空間に対し，その特異単体の全体は Kan …

ホリーが飛行機の中で詩篇２３編を唱えていた．

isbn 2-85629-181-3 Introduction を読む．

置換．置換は巡回置換の積で書け，巡回置換は互換の積で書け，互換は隣接する文字の互換の積で書ける．したがって，任意の置換があみだくじによって実現できる． 教科書に指定している三宅「入門線形代数」では，自明な置換（恒等置換）のことを，単位行列と…

帰り道，二子玉川まで一緒に行く．相対論的流体の話をいろいろ聞かせていただく．

定理 位相空間 に対し，次は同値： (1) は Hausdorff ． (2) 任意の位相空間 および連続写像 に対し， が閉写像．

わたしは "Higher Topos Theory" 第３回．diagram category 上のモデル構造，単体集合，∞ 圏． ナカイくんは BP の話．ツチヤさんは log CFT における量子群の作用の話．

陰関数．

ドトールの前でムラヤマさんに会う．

t分布．

曲面の面積．

Chapter I. Simplicial sets を読む．

正則行列．正方行列が正則であることが，簡約化が単位行列であることに同値であることを示す．

http://jp.arxiv.org/abs/0905.2720 geometric Langlands の背後には4次元電磁双対性があるが，さらにその背後に6次元の非アーベル gerbe ゲージ理論があるという話．M理論のときのように，本体は定義できないので，定義できるさまざまな極限を観察する．や…

極値問題．

やっと購入．

むかし友達のパーティーで的場浩司のいとこという女性とご一緒したことがある．料理が得意な方で，そのときもみんなのためにつくってくださった．

χ2分布．

曲面の接平面と法線ベクトル．

isbn:9780387580715 この本で定義する「同変層の導来圏」は，同変層のアーベル圏の導来圏ではない． 群の準同型に対し，同変層の導来圏上に順像関手が定義されるが，これは群作用を忘れる関手と可換ではない．

asin:9780821846780:image