デカルト圏 ⊆ マルコフ圏 ⊆ 準マルコフ圏 = 可換コモノイド装備モノイド圏
圏 | 対象 | 射 | 備考 |
---|---|---|---|
Set | 集合 | 写像 | デカルト圏、余デカルト圏 |
FinSet, FSet | 有限集合 | 写像 | デカルト圏、余デカルト圏 |
Mat, Mat | 自然数 | 行列 | 余デカルト圏、ダガー圏 |
XMat | 集合 | 一般化行列 | 余デカルト圏 |
FXMat | 有限集合 | 一般化行列 | 余デカルト圏、ダガー圏 |
XMat[R] | 集合 | R係数一般化行列 | 余デカルト圏 |
FXMat[R] | 有限集合 | R係数一般化行列 | 余デカルト圏、ダガー圏 |
Tens, Tens | 正自然数のリスト | テンソル | 準マルコフ圏 |
XTens | 非空集合のリスト | 一般化テンソル | 準マルコフ圏 |
FXTens | 有限非空集合のリスト | 一般化テンソル | 準マルコフ圏 |
XTens[R] | 非空集合のリスト | R係数一般化テンソル | 準マルコフ圏 |
FXTens[R] | 非空有限集合のリスト | R係数一般化テンソル | 準マルコフ圏 |
注意: