行列の圈
$ {\bf Mat}_K
Category of matrices - Wikipedia
matrix in nLab
はじめての圏論 その第2歩：行列の圏 - 檜山正幸のキマイラ飼育記 (はてなBlog)
行列の圏 の検索結果 - 檜山正幸のキマイラ飼育記 (はてなBlog)
ベクトルと行列の圏論的な解釈 - 檜山正幸のキマイラ飼育記 (はてなBlog)
圏係数の行列の圏 - 檜山正幸のキマイラ飼育記 (はてなBlog)
自然數
と對象とし、
體
$ K
上の行列を射とする
圈
$ {\bf Mat}_K
$ {\rm Hom}(n,m)
は m 行 n 列の行列の全體
l 行 m 列の行列は m 行 n 列の行列と掛け算でき、l 行 n 列の行列となる。これを
合成射
と見做す
恆等射
は
單位行列
$ I:n\to n
monoidal 圈
に成る
行列の圏のなかでモノイドを探す - 檜山正幸のキマイラ飼育記 (はてなBlog)
string 圖
で
線形代數
が計算できる
雙積
を持つ
行列の圏のなかでモナドを探す - 檜山正幸のキマイラ飼育記 (はてなBlog)