圏の相互関係

\xymatrix { {} & {{\bf XTens}[R]} \ar[dl]_{R={\bf B}} \ar[d]_{R = {\bf N}} \ar[dr]^(0.8){R = {\bf R}_{\ge 0}} \ar[drr]^{R = {\bf R}} & & \\ { {\bf XTens}[{\bf B}] } &{ {\bf XTens}[{\bf N}] } &{ {\bf XTens}[{\bf R}_{\ge 0}] } &{ {\bf XTens}[{\bf R}] } \\ { {\bf FXTens}[{\bf B}] } \ar[u]_{\subset} &{ {\bf FXTens}[{\bf N}] } \ar[u]_{\subset} &{ {\bf FXTens}[{\bf R}_{\ge 0}] } \ar[u]_{\subset} &{ {\bf FXTens}[{\bf R}] } \ar[u]_{\subset} }

  • Mat[R] → Tens[R] → FXTens[R] → XTens[R] 対象の拡張系列