rst123 https://blog.hatena.ne.jp/rst123/ ランダム勉強記録 https://rst123.hatenadiary.org/ 定義 エンド 関手 に対し、ある定数 から への 普遍的な対角自然変換をエンドという。 ここで、 から へのくさび（）があった場合、 一意的に が存在して、 を満たす。 自体もエンドとよばれ、 と書かれる。 例 に対し、 が定義される。 ここで、 に対し、 なるくさびを考える。くさびの図はあえて書くと ここで、 上で考えると、これは を意味する。 これは、図に書きなおすと で、 が自然変換ということである。 これは を意味する。 以上をまとめると、 となる。 命題 エンドは極限である。 （ から作られるある圏（細分圏）での極限である。） 系 が小完備で が小さいとき、 は にエンドを持つ。 命… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Frst123.hatenadiary.org%2Fentry%2F20160424" title="エンド・コエンド2 - ランダム勉強記録" 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-24 00:00:00 rich https://rst123.hatenadiary.org/entry/20160424 1.0 100%