m-hiyama https://blog.hatena.ne.jp/m-hiyama/ 檜山正幸のキマイラ飼育記 (はてなBlog) https://m-hiyama.hatenablog.com/ 雑記／備忘 「半加法圏の圏」で、半加法圏（＝双積モノイド圏）の圏はデカルト閉圏になるだろう、とか書いたんですが、それは僕の勘違いでした。デカルト閉圏にはなりません。しかし、なにかうまいモノイド積が存在すれば、そのモノイド積に対してモノイド閉圏になる可能性はあります。つまり、次の随伴性が成立するかも知れない、ということです。 SemiAdd(CD, E) SemiAdd(C, [D, E]) ここで、が「なにかうまいモノイド積」、[-, -]は指数です。上記の「なにかうまいモノイド積」は、ベクトル空間のテンソル積と類似していると思えるのでテンソル積と呼びましょう。小さい圏のテンソル積を構成する問題は「テンソ… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama.hatenablog.com%2Fentry%2F20170224%2F1487910607" title="ラックス・モノイド関手をシッカリ調べるべき - 檜山正幸のキマイラ飼育記 (はてなBlog)" 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 2017-02-24 13:30:07 rich https://m-hiyama.hatenablog.com/entry/20170224/1487910607 1.0 100%