抽象的な分類
- マルコフ圏=準マルコフ圏 + 半デカルト圏
- 半デカルト圏=対称モノイド圏 + 単位終対象
- 半デカルト構造=自然な余付点構造
- デカルト構造=自然な余モノイド構造
- 準マルコフ構造=非自然な余モノイド構造
- マルコフ構造=非自然な余モノイド構造で、余付点構造は自然
性質〈定理 | 事実〉
- マルコフ圏では周辺化が可能。周辺化により準射影〈quasi-projection〉の族が定義できて、準射影と対角から独立性の定義が可能。
- マルコフ圏への非基準的埋め込みを伴う半デカルト圏でも独立性の定義が可能。独立性の定義のために、一旦外側のマルコフ圏に行く必要がある。