st123 https://blog.hatena.ne.jp/st123/ 圏論 https://st123.hatenadiary.org/ 2-5 すべての圏からなる圏 2つの自然変換 があるとき、その合成 を考えることができる。 また、次のような図式があるとき、 これから、 を作ることができる。このとき、を と定義する。 ただし、このはしばしば省略する。（「・」は省略しない。） このとき、 : S'S T'T は、自然である。 この合成は結合的である。また、Tに対して（函手を自分自身に移す自然変換）を恒等自然変換という。 （まちがってたらすみません。） 恒等自然変換はと・の両方について恒等射になっている。 函手Sの恒等自然変換もSで表すと、 という素敵なことなり、 S' : S'S S'T T : S'T T'T 特に上の式を図… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fst123.hatenadiary.org%2Fentry%2F20140919" title="第2章　圏の構築　2-5 すべての圏からなる圏 - 圏論" 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 2014-09-19 00:00:00 rich https://st123.hatenadiary.org/entry/20140919 1.0 100%