m-hiyama https://blog.hatena.ne.jp/m-hiyama/ 檜山正幸のキマイラ飼育記 (はてなBlog) https://m-hiyama.hatenablog.com/ 雑記／備忘 「圏論的ドクトリンの安直な導入」への追加です。豊饒化〈豊穣化〉構成で新しい“圏の種別”が定義されることがあります。“圏の種別”をドクトリンと（安直に）呼んだので、既存のドクトリンから豊饒化で新しいドクトリンが作られることになります。通常の圏の種別以外に、オペラッド〈複圏〉も種別、つまりドクトリンとして認めることにします。オペラッドを含めた幾つかのドクトリンの階層構造を図に描いてみます。階層図の見方は「圏論的ドクトリンの安直な導入」を参照してください。*1 この図で、[Symoprd] は対称オペラッドです。名前の一意性を保証するため [Sym] とするわけにはいきません。ドクトリンのネーミング… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama.hatenablog.com%2Fentry%2F2021%2F10%2F12%2F133438" 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-10-12 13:34:38 rich https://m-hiyama.hatenablog.com/entry/2021/10/12/133438 1.0 100%