プロップ回りがこんがらかる
- プロップ（prop）
- プロ（pro）
- プロブ（prob）
- オペラッド
- プロペラッド
- 複圏
- 多圏
分類に関しては：
- 対象の多数性
- 対称圏（置換圏）の作用
- 豊穣化
などが関係する。
多数性に関しては：
| 対象 | 単一 | 複数 | |
|---|---|---|---|
| 圏 | 対象 | 単対象圏 | - |
| モノイド | - | - | モノイドイド |
| オペラッド | 色 | モノクロ | 色付きオペラッド |
| プロップ | 色 | モノクロ | 色付きプロップ |
| 型理論 | 型 | 型なしモデル | 型付きモデル |
| 代数 | ソート | 単ソート代数 | 多ソート代数 |
対称の作用は、
- pro -- 作用なし non-Σプロップ
- prop -- 対称圏が作用する
- prob -- ブレイド圏が作用する
プロペラッド（射はプロペレーション）は、プロップより弱い概念のようで、無視しても良さそう。
