CategoryTheory:圏論勉強会

開催概要

• 毎月第２日曜 13:00 から開催予定
• 予定＠Googleカレンダー

• 圏論の関係する様々な論文や文書を読んでいく
• 今のところ予習をするかどうかは各自に任せるが、予習をしておくと質問すべきことがまとめれていいと思う
• Skype による遠隔参加も可能だが、事前に連絡を取っておくこと
  • Skype による参加者がいたり論文などが PDF で提供されているため、現在ノートパソコンの持込が多くなっているものの、特にノートパソコンを持ち込む必要はない
• 連絡などは、haskell-jp のMailingList、またはmixiの圏論勉強会コミュにて

• mixi:圏論勉強会
• CategoryTheory:圏論関係リンク集
• CategoryTheory:圏論勉強会ノート
  • 宿題の回答など説明が長くなるものをこのノートに書く
• http://twitter.com/masahiro_sakai/category-seminar

過去の開催記録

• CategoryTheory:圏論勉強会:ConceptualMathematics
• CategoryTheory:圏論勉強会:CategoriesTypesAndStructures
• CategoryTheory:圏論勉強会:量子ファイナンス工学入門
• CategoryTheory:圏論勉強会:TheHaskellProgrammersGuideToTheIOMonad
• CategoryTheory:圏論勉強会:TemperleyLiebAlgebra

第五十七回圏論勉強会

2009-10-18(日) 秋葉原某所 14:00-18:00

写真：http://picasaweb.google.com/takeo.bono/Kenron091018#

P. Selinger, "A survey of graphical languages for monoidal categories" Remark 5.8 より

• http://www.mscs.dal.ca/~selinger/papers/graphical.pdf

                   日下部
     m-a-o  今井   豊福
　  +-----------+
白  |           |
板  |           |白石
    +-----------+
     酒井 小田 

P. Selinger, "A survey of graphical languages for monoidal categories" Lemma5.7

• http://www.mscs.dal.ca/~selinger/papers/graphical.pdf

第五十六回圏論勉強会

2009-09-13(日) 秋葉原某所 14:00-18:00

写真：http://picasaweb.google.co.jp/takeo.bono/Kenron090913

     m-a-o  酒井   豊福
　  +-----------+
白  |           |今井
板  |           |白石
    +-----------+
     hiro 日下部 

P. Selinger, "A survey of graphical languages for monoidal categories" Lemma 5 より

• http://www.mscs.dal.ca/~selinger/papers/graphical.pdf

第五十五回圏論勉強会

2009-08-09(日) 秋葉原某所 14:00-18:00

P. Selinger, "A survey of graphical languages for monoidal categories" Lemma 4.11 より

• http://www.mscs.dal.ca/~selinger/papers/graphical.pdf

第五十四回圏論勉強会

2009-07-12(日) 秋葉原某所 14:00-18:00

写真：http://picasaweb.google.co.jp/takeo.bono/Kenron090712

     酒井  nuc   豊福
　  +-------------------+
白  |                   |m-a-o
板  |                   |白石
    +-------------------+
     日下部 今井 hiro 瞳 

P. Selinger, "A survey of graphical languages for monoidal categories" 4.2 (Planer) pivotal categories

• http://www.mscs.dal.ca/~selinger/papers/graphical.pdf

4.2 (Planer) pivotal categories

• 参考：http://practical-scheme.net/chaton/haskell-ja/a/2009/07/12

第五十二回圏論勉強会

2009-05-10(日) ミラクル・リナックス セミナールーム 13:00〜18:00

写真：http://picasaweb.google.com/Masahiro.Sakai/Kenron090510

           酒井 檜山 hiro
           +-------------+
スクリーン |             |
           +-------------+
           m-a-o 日下部 瞳 

P. Selinger, "A survey of graphical languages for monoidal categories" 3.4 Balanced monoidal categories より

• http://www.mscs.dal.ca/~selinger/papers/graphical.pdf

第五十一回圏論勉強会

2009-04-12(日) びぎねっと トレーニングルーム 13:00〜18:00

P. Selinger, "A survey of graphical languages for monoidal categories" Theorem 3.1? より

第五十回圏論勉強会

2009-03-08(日) 国立情報学研究所 12F カンファレンスルーム 13:00〜18:00

P. Selinger, "A survey of graphical languages for monoidal categories" Theorem 3.1? より

第四十九回圏論勉強会

2009-02-08(日) びぎねっと トレーニングルーム 13:00〜18:00

  モニタ    ホワイトボード
---------
酒井     木村    hiro      nuc
+------------+  +-------------+
|            |  |             |
+------------+  +-------------+
檜山     木戸   かがみ モミヤマ

• 久井さんはSkypeで参加

写真：http://picasaweb.google.co.jp/Masahiro.Sakai/Kenron090208

P. Selinger, "A survey of graphical languages for monoidal categories"