m-hiyama-memo https://blog.hatena.ne.jp/m-hiyama-memo/ (保存用) 檜山正幸のキマイラ飼育記 メモ編 https://m-hiyama-memo.hatenablog.jp/ メモ cathand メモ編にも書くべき事も山盛りあるんだけどなあ、、、 あー手が間に合わない。しかし、記録しないとドンドン忘却するし、、、うーむ。とりあえず、モノイド圏上に、3項または4項のhomを定義して、それで圏の集まり（indexed family of categories）みたいなものを作った。indexed categoryとしても定式化できるが、3項（または4項）homのほうが分かりやすい感じがする。notion of process とも似た定式化だし。デカルト分配圏（半環圏）をベースに4項homを作ると、うまいことCatyに応用できそう。もっと計算しないとダメだけど。 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama-memo.hatenablog.jp%2Fentry%2F20091015%2F1255593091" title="忘れないように - (保存用) 檜山正幸のキマイラ飼育記 メモ編" 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-10-15 16:51:31 rich https://m-hiyama-memo.hatenablog.jp/entry/20091015/1255593091 1.0 100%