PROPは PRoduct Operations and Permutations らしい。もはや語源はどうでもよくて、PROPが豊穣圏の一般化であることが重要だと思う。X = (X, +, 0)がモノイド圏（対称とは限らない）、V = (V, ×, 1) が対称モノイド圏のとき、X上のV-豊穣圏を定義できる。こ…

自転車問題にケリをつける 市役所に手続き 健康診断二箇所、皮膚科がないからもう一箇所か？ 歯医者 薬屋も