2009-11-18(日)(12:00-20:00) 神奈川県(慶応大学・矢上キャンパス 25-501) shelarcy テキスト: P. Selinger, "A survey of graphical languages for monoidal categories" Theorem 5.9 より (http://www.mscs.dal.ca/~selinger/papers/graphical.pdf) 交通…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。