m-hiyama https://blog.hatena.ne.jp/m-hiyama/ 檜山正幸のキマイラ飼育記 (はてなBlog) https://m-hiyama.hatenablog.com/ 雑記／備忘 昨日、依存型に関連してΣ-Δ-Π随伴〈随伴トリオ〉の話をしたのですが、たまたま（ほんとに偶然に）別な文脈でもΣ-Δ-Π随伴が話題にのぼりました。そんなことがあったので、思いつくΣ-Δ-Π随伴の事例をザッと述べます。記事タイトルどおり、短い注釈です。内容： 記号と言葉の準備 パラメータの取り替えに沿ったΣ-Δ-Π随伴 ガロア接続のΣ-Δ-Π随伴 データベースの場合 記号と言葉の準備この節で述べる記号・言葉の約束は「依存型と総称型の圏論的解釈」と同じです。Setは集合圏、Catは小さい圏の圏、CATは必ずしも小さいとは限らない圏の圏です。今注目している圏はCで、このCは集合圏Setの部分圏だとしま… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama.hatenablog.com%2Fentry%2F2021%2F01%2F15%2F125833" 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 2021-01-15 12:58:33 rich https://m-hiyama.hatenablog.com/entry/2021/01/15/125833 1.0 100%