m-hiyama https://blog.hatena.ne.jp/m-hiyama/ 檜山正幸のキマイラ飼育記 (はてなBlog) https://m-hiyama.hatenablog.com/ 雑記／備忘 圏論における随伴系やモナドの概念を、順序集合に関して考えるとガロア接続や閉包作用素になります。同様に、圏論におけるカン拡張を順序集合に関して考えることができます。が、それだけだと実感に乏しく面白くもありません。カン拡張（右カン拡張と左カン拡張）を、述語論理の限量子と捉えてみます。内容： 圏と順序集合 基本的な言葉と記法 劣拡張と最大劣拡張 ミート完備な順序集合 最大劣拡張の構成 最小優拡張と書き方の約束 特徴述語論理 おわりに 圏と順序集合圏論に関する話を、順序集合に関する話にダウングレードすると、議論が容易になります。例えば、2つの関手が随伴対であることは、2つの単調写像がガロア接続を形成す… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama.hatenablog.com%2Fentry%2F20181212%2F1544609432" 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> https://chart.apis.google.com/chart?cht=tx&chl=%5Cemptyset Hatena Blog https://hatena.blog 2018-12-12 19:10:32 rich https://m-hiyama.hatenablog.com/entry/20181212/1544609432 1.0 100%