haskell-ja > Archives

2009/09/13 05:38:34 UTCshelarcy

圏論勉強会会場には、現在二名います。

2009/09/13 06:59:02 UTCshelarcy

四人になりました。そろそろ開始します。

予定では 5. Traced Categories からですが、メンバー的に復習必要そうかな？

2009/09/13 07:24:19 UTCshelarcy

なんか圏論と物理に関する雑談をしていますね。

2009/09/13 07:42:52 UTCshelarcy

5. から開始しました。

2009/09/13 08:10:09 UTCshelarcy

Φって何？ -> p.12 参照

5.2 Planar traced categories に入りました。

2009/09/13 09:16:01 UTCshelarcy

5.5 Braided traced categories の p.37 (b) と (c) の図について考え中

p.26 のライデマイスター移動の図

Autonomous でないので、これを使うのは間違い

2009/09/13 10:09:15 UTCshelarcy

次回 Lemma 5.7 をもう一度

というわけで、今回は終了です。

haskell-ja > Archives > 2009/09/13