バート・ジェイコブス達の用語・発想に従うとして： 分布〈状態 | 信念〉と述語〈パールのソフト証拠〉に対して2つの演算がある。 これらの演算はマルコフ圏のなかでは遂行できなくて、一時的に外側の準マルコフ圏に飛び出す。前者をスケーリング{演算}?、後…

抽象的な分類 マルコフ圏＝準マルコフ圏 ＋ 半デカルト圏 半デカルト圏＝対称モノイド圏 ＋ 単位終対象 半デカルト構造＝自然な余付点構造 デカルト構造＝自然な余モノイド構造 準マルコフ構造＝非自然な余モノイド構造 マルコフ構造＝非自然な余モノイド構…

hom internal hom Linz linearlization MultiVec multilinear map of vec. spaces tensrep tensor representation swtensrep swapped tensor representation 使う射、すべて 。 別名・別記法 sw swap ev evaluation coev coevaluation icomp internal compos…

次の図のSのようは関手を、Fに沿ったエキストラセクション〈extra section along F〉と呼ぶことにする。エキストラセクションの全体を とする。引き戻しファイバー付き圏との関係はファイバーバンドルの場合はに対して、エキストラセクションの空間は色々な…