m-hiyama https://blog.hatena.ne.jp/m-hiyama/ 檜山正幸のキマイラ飼育記 (はてなBlog) https://m-hiyama.hatenablog.com/ 雑記／備忘 Cがデカルト圏だとは次のことです。 Cには終対象がある。 Cには二項の直積がある。 この2つのことから、すべての有限離散図式の極限の存在は保証できます。上記のデカルト圏の定義を言い換えてみましょう。この言い換えは、次の概念を確認するために良い練習問題です。 デカルト圏 圏の直積（圏のなかの直積ではなくて、2つの圏の直積） 随伴関手 まず、1を単一対象の自明な圏とします。 Obj(1) = |1| = {*} Mor(1) = {id*} 圏Cから圏1への関手は一意的に決まるので、それをSとします。S:C→1 。次に、圏Cの自分自身との直積（自乗）C×C を作り、対角関手をDとします。D:C→C… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama.hatenablog.com%2Fentry%2F20111124%2F1322100492" 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 2011-11-24 11:08:12 rich https://m-hiyama.hatenablog.com/entry/20111124/1322100492 1.0 100%