このブログは、旧・はてなダイアリー「檜山正幸のキマイラ飼育記 メモ編」（http://d.hatena.ne.jp/m-hiyama-memo/）のデータを移行・保存したものであり、今後（2019年1月以降）更新の予定はありません。

今後の更新は、新しいブログ http://m-hiyama-memo.hatenablog.com/ で行います。

自然数が対象の圏はPROP

用語法 メモ

自然数が対象の圏 - 檜山正幸のキマイラ飼育記 メモ編：

自然数（非負整数）集合が対象である圏をなんか呼び名があったような。PROだかPRODだか、うーんと？

PROPです。ステファン（スティーブンか？）・ラックの"Composing PROPs"ってのがある。