m-hiyama https://blog.hatena.ne.jp/m-hiyama/ 檜山正幸のキマイラ飼育記 (はてなBlog) https://m-hiyama.hatenablog.com/ 雑記／備忘 基礎圏〈台圏〉を指定しないすべてのモナド達の圏をMnd、すべての随伴系〈adjunction | adjoint system〉達の圏をAdjと書くことは多いですが、MndやAdjが何を意味するかは人によりバラバラです。バラバラなのはしょうがないのですが、様々な定義を記述したり比較したりするときに、基準となるような定義があると便利です。そこで、随伴系達の圏Adjに対するひとつの定義をここで与えます。僕としては標準として使いたい定義ですね。（ここで定義する）Adjは、おおむね二重圏〈double category〉ですが、単なる二重圏よりは少し複雑で2-圏とみなすこともできます。二重圏でもあり2… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama.hatenablog.com%2Fentry%2F2021%2F03%2F11%2F191100" title="2-二重圏： 随伴系達の圏 - 檜山正幸のキマイラ飼育記 (はてな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-03-11 19:11:00 rich https://m-hiyama.hatenablog.com/entry/2021/03/11/191100 1.0 100%