2009-6-7(日)(13:00-18:00)
神奈川県 (慶應大学矢上キャンパス創想館6F)テキスト： P. Selinger, "A survey of graphical languages for monoidal categories" 5. Traced categories 付近？から
(http://www.mscs.dal.ca/~selinger/papers/graphical.pdf)
次回は成り行き上、第一日曜日に開催することになりました。ということで、来週です。
場所は、『層・圏・トポス』勉強会と同じところです。警備員さんに捕まっちゃうと追い返される危険があるそうですので、注意。
