Old/sampou.org/CategoryTheory_圏論勉強会
CategoryTheory_圏論勉強会
CategoryTheory:圏論勉強会
開催概要
- 毎月第２日曜 13:00 から開催予定
- 圏論の関係する様々な論文や文書を読んでいく
- 今のところ予習をするかどうかは各自に任せるが、予習をしておくと質問すべきことがまとめれていいと思う
- Skype による遠隔参加も可能だが、事前に連絡を取っておくこと
- Skype による参加者がいたり論文などが PDF で提供されているため、現在ノートパソコンの持込が多くなっているものの、特にノートパソコンを持ち込む必要はない
連絡などは、haskell-jp のMailingList、またはmixiの圏論勉強会コミュにて
- mixi:圏論勉強会
- CategoryTheory_圏論関係リンク集
- CategoryTheory_圏論勉強会ノート
- 宿題の回答など説明が長くなるものをこのノートに書く
過去の開催記録
- 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 より
日下部
m-a-o 今井 豊福
+-----------+
白 | |
板 | |白石
+-----------+
酒井 小田 P. Selinger, “A survey of graphical languages for monoidal categories” Lemma5.7
第五十六回圏論勉強会
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 より
第五十五回圏論勉強会
2009-08-09(日) 秋葉原某所 14:00-18:00
P. Selinger, “A survey of graphical languages for monoidal categories” Lemma 4.11 より
第五十四回圏論勉強会
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
4.2 (Planer) pivotal categories
第五十二回圏論勉強会
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 より
第五十一回圏論勉強会
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”
Last modified : 2012/01/09 17:35:08 JST
