今日定義したMat[X]Cは単なる圏ですが、XやCに条件をつけることにより、モノイド圏や半環圏やトレース付き圏にすることが出来ます。ホムセットの足し算を他の構造から導き出すこともあります。行列計算はなかなか楽しいですね。最近気付いたことを大雑把に記します。1はてなブログをはじめよう!m-hiyamaさんは、はてなブログを使っています。ブログを報告する引用をストックしましたストック一覧を見る閉じる引用するにはまずログインしてくださいログイン閉じる引用をストックできませんでした。再度お試しください閉じる限定公開記事のため引用できません。