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

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