モナド：
| →係数半環 ↓形式的結合 | P | B | N |
|---|---|---|---|
| 線形結合 | Lin | FinPow | Bag |
| 劣凸結合 | SubConv | FinPow | Maybe |
| 凸結合 | Conv | NEFinPow | Id |
クライス圏
| →係数半環 ↓形式的結合 | P | B | N |
|---|---|---|---|
| 線形結合 | Kl(Lin) | NDfb | Kl(Bag) |
| 劣凸結合 | Kl(SubConv) | NDfb | Par |
| 凸結合 | Stocdiscfb | NDfb,tot | Set |
略号
- Lin = Linear
- Conv = Convex
- SubConv = SubConvex = Subconvex
- Fin = Finite
- Pow = Power
- NE = NonEmpty
- Stoc = Stochastic
- disc = discrete
- fb = finite{ly}? branching
- tot = total
評価＝付値＝valuation と積分
| P | B | N | |
| 変量 | P-変量＝連続評価 | B-変量＝真偽評価 | N-変量＝離散評価 |
| 述語 | P-述語 ファジー述語 | B-述語 ブール述語 | N-述語 ブール述語 |
| 測度＝ポインター | 確率分布 | 部分集合 | 要素 |
| 積分＝妥当性 | 期待値 | 存在命題 | 球値＝evaluation＝所属関数値 |
- 外延＝(測度 | 部分集合)
- 内包＝(密度関数 | 質量関数 | 述語関数 )
- (外延 |= 内包) が積分
