m-hiyama https://blog.hatena.ne.jp/m-hiyama/ 檜山正幸のキマイラ飼育記 (はてなBlog) https://m-hiyama.hatenablog.com/ 雑記／備忘 昨日の記事「任意の圏を等式により2-圏とみなす」の冒頭で、「圏を2-圏とみなす」動機を書いたのですが、それは、ゴグエン／バーストル〈Joseph Goguen and Rod Burstall〉のインスティチューション〈institution〉を少し具体的に考えたい、ってことでした。どのように具体化したいかと言うと： 使う論理を、等式的論理と一階述語論理に固定する。 指標Σに対するモデルの圏を、Model[Σ] := [FreeCat(Σ), Set]CAT と具体的に与える。 指標圏を固定する気はないのですが、当座の指標圏としては、有向グラフの圏を採用します。ただし、単に「有向グラフ」と言っ… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama.hatenablog.com%2Fentry%2F2020%2F05%2F13%2F181830" 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=%5Cphi_%5Cast Hatena Blog https://hatena.blog 2020-05-13 18:18:30 rich https://m-hiyama.hatenablog.com/entry/2020/05/13/181830 1.0 100%