m-hiyama-memo https://blog.hatena.ne.jp/m-hiyama-memo/ (保存用) 檜山正幸のキマイラ飼育記 メモ編 https://m-hiyama-memo.hatenablog.jp/ 小咄 説明 具体例 適当な係数（スカラー）体上の1次元ベクトル空間だけを集めた圏Vec1を考える。そんなものつまんねー、と思うだろうが、いいやっ、十分に面白い。テンソル積に関してモノイド圏になる。モノイド単位はスカラー体だが、実はどの対象を選んでも単位になる。単位しかないとも言えるが、選択された（識別された）単位が1つだけある。「みんな平等」という点では、加算無限集合の圏（デカルト圏）と似た感じもする。（直積の単位が終対象とは限らない - 檜山正幸のキマイラ飼育記 (はてなBlog)も参照）記号の集合Σをとって、Σの記号1つから自由生成された空間を考える。これは単に1次元ベクトル空間というだけでなくて、標準基底＝… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama-memo.hatenablog.jp%2Fentry%2F20090227%2F1235706616" title="1次元ベクトル空間の圏 - (保存用) 檜山正幸のキマイラ飼育記 メモ編" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2009-02-27 12:50:16 rich https://m-hiyama-memo.hatenablog.jp/entry/20090227/1235706616 1.0 100%