m-hiyama https://blog.hatena.ne.jp/m-hiyama/ 檜山正幸のキマイラ飼育記 (はてなBlog) https://m-hiyama.hatenablog.com/ 雑記／備忘 小さい圏Cから集合圏Setへの関手 F:C→Set に限定して、その極限を具体的に扱います。具体的とは、極限を、（無限かも知れない）直積と条件絞り込みで実際に構成することを意味します。具体的構成の方針（精神）は、「錐〈すい〉集合関手の表現対象を作りましょう」です。内容： 具体的に具体的に 関手の極限の復習 錐集合関手と関手の表現対象 錐の圏の終対象と錐集合関手の表現対象 プレ錐集合の表現集合 “頂点Xのプレ錐”と“Xから直積への写像” 1. セクション集合の定義 2. 直積集合の定義 3. 積と指数に関する分配法則 錐条件で絞り込む 例：スパンの極限 おわりに 具体的に具体的に圏論における極限… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama.hatenablog.com%2Fentry%2F20180322%2F1521694065" 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/img4/cat-cone-bad.png Hatena Blog https://hatena.blog 2018-03-22 13:47:45 rich https://m-hiyama.hatenablog.com/entry/20180322/1521694065 1.0 100%