m-hiyama https://blog.hatena.ne.jp/m-hiyama/ 檜山正幸のキマイラ飼育記 (はてなBlog) https://m-hiyama.hatenablog.com/ 雑記／備忘 どうも体調わろし。ボンヤリしているので勘違いや妄想が入るかも。しばらく前（1月の中盤くらい）、二重圏の話をしていました。 圏論の練習問題：モノイド二重圏の定義の同値性 二重圏の具体的な定義 二重圏の簡単な例：非負行列の順序構造 二重圏のもっと簡単な例：圏の可換四角形の二重圏 このとき、僕がイメージしていた二重圏（直和を考えればモノイド二重圏）は次のようなものです。 対象は集合（有限集合に限定してもよい） 水平射は境界付きの有向グラフ（左が始境界、右が終境界） 垂直射は集合（境界である頂点）の写像 2-セルは境界を保つグラフ準同型写像 関手的データモデルの文脈でもなんか二重圏が出てくるみたい。S… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama.hatenablog.com%2Fentry%2F20130208%2F1360313216" 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 2013-02-08 17:46:56 rich https://m-hiyama.hatenablog.com/entry/20130208/1360313216 1.0 100%