m-hiyama-memo https://blog.hatena.ne.jp/m-hiyama-memo/ (保存用) 檜山正幸のキマイラ飼育記 メモ編 https://m-hiyama-memo.hatenablog.jp/ Caty 関手データ Gが圏の表示、Cat(G) = C だとする。関手 F:C→D は、Φ:G→D で表示できる。（正確には、Dに忘却関手を働かせるが。）Fの代わりにΦを使えば記述はだいぶ楽になるのだが、そもそも「関手」という意識を薄めたい。グラフの操作として直和 D' := D + G を作って、ΦをD'上のパス同値関係とみなしたい。実際には困難がある。Φ(A) = X とすると、AとXは別物で、AとXを繋ぐ射が存在しない。A|→X はあくまで関手としての対応で、関手で対応してもそこに射があるわけじゃない。この困難を乗り越える技術がRPCではないかと思う。RPCは、異なる2つの圏のあいだに関手より実質的な内容を… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama-memo.hatenablog.jp%2Fentry%2F20130412%2F1365729392" title="関手と圏の拡張とRPC - (保存用) 檜山正幸のキマイラ飼育記 メモ編" 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-04-12 10:16:32 rich https://m-hiyama-memo.hatenablog.jp/entry/20130412/1365729392 1.0 100%