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) 交…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。