PROPに関連してプロペラッド（properad）てのがある。PROPとオペラッドからの造語だろう。 http://www.google.co.jp/search?hl=ja&q=site:arxiv.org+properad けっこうある。

自律圏（旧称：堅い圏）には自明なモノイドがある - 檜山正幸のキマイラ飼育記 メモ編 自明が自明ではない：コンパクト閉圏内のフロベニウス代数 - 檜山正幸のキマイラ飼育記 メモ編 基底を決めたベクトル空間で、具体的なテンソル計算をしても楽しい。行列…