#圏論勉強会人集まってるかな。
#圏論勉強会は日本時間１４時（あと３０分）からです。
#あら、そうでしたか。
#ああほんとだ、14:00 て書いてある。じゃあ洗濯してくるかなー。
#今３人です。始まるまでもう少しかかるのかな。
#開始しました。現在5人です。
#4.3 Spherical pivotal categories に入ります。
#お、4.3？
#さっきまで lemma 4.11 から 4.2 の終わりまで読んでいて、
#ああ、なんで 4.11 からはじめていま 4.3 なんだろ思ったんですが :)
#理解しました。
#そうですか。なら問題ないですね。
#現在 4.5 no
#内容について考えているところです。
#2-sphere って 2 次元の球っていうことかな。
#そうだと思います。
###4.7 に入ります。
#braid っていうのは、ひもをねじっちゃいけないっていうことですかね？
#ねじっちゃダメということですね。
#ねじるのは 4.7 で扱う Tortile Category（リボン圏）になります。
##あーなるほど。
#4.8 に入ります。
####とりあえず終了です。
#おつかれさまでした〜・
#おつかれさまでした。
#どこまでいきました？
#4.8 を読み終わるところまで行きました。
#お。じゃあ次は 5 からかな。
#はい、多分そうなると思います。
#少し分からないところが残っていますので、次回の最初は復習になると思いますが。
#では、会場が閉まるのでこれで。
#はーい。
# 
haskell-ja > Archives > 2009/08/09