モノイダル圏の上で「線型代数」がどれだけ真似できるのか気になる今日この頃(玉木さんのHPを見ていると、導来代数幾何とかいうのがキーワードっぽい気がする)良い文献があったら教えて欲しいし、何をもって線型代数と見るかについて議論をしたい