一連の話題を小ネタに切り刻んで投稿しています。ココに書いたような事情です。「等式的関手インスティチューション（概要）」で述べたように、等式的関手インスティチューションでは、指標Σに対するモデル圏*1 Model[Σ] を、関手圏*2として具体的に構成する…

ちょっとだけGraphVizで絵（有向グラフ）を描きたいと思ったのですが、オンライン上のサービスを探してみたら、ありました。 https://dreampuf.github.io/GraphvizOnline/ 上記のURLにアクセスると、サンプルのグラフが表示され（上の画面ショット）、ブラウ…