rst123 https://blog.hatena.ne.jp/rst123/ ランダム勉強記録 https://rst123.hatenadiary.org/ 補題 が恒等関手上の錘であり、 があって、 が極限錘となっているなら、 は の始対象。 （証明） であるが、これを関手 と考え、 という構造を考えている。 は錘だから、下図が可換。 （ からすべての対象 への射 が他の射と可換になるようにある。という点がポイント。） しかるに、 は極限錘なので、 がわかる。 さらに、 があったとすると も可換だから、 が言える。 これは、 は唯一つしかないということを意味する。□ 系 は（あれば）始対象である。 （証明） 上の補題で を とすればよい。□ に対し、コンマ圏 を考え、 [tex:Q\hspace{3}:\hspace{3}(x\hspace{3}… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Frst123.hatenadiary.org%2Fentry%2F20160426" title="カン拡張1 - ランダム勉強記録" 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 2016-04-26 00:00:00 rich https://rst123.hatenadiary.org/entry/20160426 1.0 100%