プロップ回りでは、ハックニー／ロバートソンの http://arxiv.org/abs/1207.2773 と、あとボブ・クック関連の http://www.cs.ox.ac.uk/people/bob.coecke/andrei.pdf もあった。この論説にタイトルがないが、学生の Andrei Akhvlediani（https://www.cs.ox.a…

プロップ（prop） プロ（pro） プロブ（prob） オペラッド プロペラッド 複圏 多圏 分類に関しては： 対象の多数性 対称圏（置換圏）の作用 豊穣化 などが関係する。多数性に関しては： 対象 単一 複数 圏 対象 単対象圏 - モノイド - - モノイドイド オペラ…

nLabのプロップの定義はなんか変だと思う。 http://ncatlab.org/nlab/show/PROP プロップやオペラッドの話だと、セオリーとモデル（代数＝加群＝表現）の混同がけっこうある。んで、スッキリしたプロップの定義がやっと見つかった。 Title: On the category …