昨日の記事「述語論理： 二重圏的ハイパードクトリン」で、二重圏的ハイパードクトリンという概念を出しました。二重圏的ハイパードクトリンを定義するために、シード付き二重圏を定義したのですが、どうも安直過ぎました。シード付き二重圏を再定義します。…