ニョロニョロ線形代数

教育 ダメ出し その他代数 セミナー

圏論の随伴とメイト理論を使った線形代数。双対性はコンパクト閉圏のなかで定式化する。背後には2-圏論。

線形代数 メイト理論
ベクトル空間 関手
双対空間ペア 随伴関手ペア
双対パートナー空間 随伴パートナー関手
余評価 単位
評価 余単位
双対メイト 随伴メイト
スカラー体 集合圏