m-hiyama https://blog.hatena.ne.jp/m-hiyama/ 檜山正幸のキマイラ飼育記 (はてなBlog) https://m-hiyama.hatenablog.com/ 雑記／備忘 圏論に自然変換の概念が入ってくると、2-射を持つ2次元の圏（「圏の圏」です）を扱うことになります。圏の直積も普通に使います。例えば、二項関手〈双関手〉の定義には圏の直積が必要です。直積は、関手にも自然変換にも定義できます。その結果、「圏の圏」は「直積を持つ2次元の圏」となります。直積を持つ2次元の圏のなかでは、横結合、縦結合、直積という三種類の演算があり、計算は2次元／3次元的なものになります。文字・記号を1次元的に並べたテキストでは無理があり、絵図〈picture | diagram〉による記述と計算が必要になります。ここでは、ラックス・モノイド関手の結合律と単位律を例にして、高次元の圏的構… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama.hatenablog.com%2Fentry%2F2020%2F02%2F20%2F164331" 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> http://www.chimaira.org/img5/bartlett-rewriteing-1.png Hatena Blog https://hatena.blog 2020-02-20 16:43:31 rich https://m-hiyama.hatenablog.com/entry/2020/02/20/164331 1.0 100%