2009-12-23(æ°´ã»ç¥)(14:00-20:00)
ç¥å¥å·ç(æ ¶å¿å¤§å¦ã»ç¢ä¸ãã£ã³ãã¹ 25-501)
ããã¹ãï¼ P. Selinger, "A survey of graphical languages for monoidal categories"
6 Products, coproducts, and biproducts ãã
(http://www.mscs.dal.ca/~selinger/papers/graphical.pdf)交éã¢ã¯ã»ã¹ï¼
http://www.keio.ac.jp/ja/access/yagami.htmlhttp://d.hatena.ne.jp/hiroki_f/20091009/1255061168ãã¨åãå ´æã§ãã