続・マルコフ核の操作

マルコフ核の操作 - 檜山正幸のキマイラ飼育記 メモ編の続き。

部分適用は一般には無理だな。使える操作は：

1. （順次）結合 f;g
2. 同時化 ^p∩f
3. 反同時化 _p∪a
4. 独立テンソル積 pq
5. 周辺化 a↓^X,Y_X
6. コタプル [ξ₁f, ξ₂g]

composition, jointification, unjointification, tesor product marginalization, cotupple 。

他に対角（diagonal）の扱いがあるが、これはよく分からない。