nuc https://blog.hatena.ne.jp/nuc/ 白のカピバラの逆極限 S.144-3 https://nuc.hatenadiary.org/ 2月の圏論勉強会 - 檜山正幸のキマイラ飼育記 (はてなBlog) 結合法則は重要な性質である。結合法則を満たす2項演算子の作る代数系に半群という名前がついていることからもそれは分かるだろう。 もちろん圏論でも結合法則は重要である。しかし、圏論では代入するという概念がないため、 のように結合法則を定義できない。あくまでも二つの対象の同型がいえるだけである。ここで二つの対象 A, B が同型であるとは、この二つの対象の間にお互いに逆向きの射 f, g が存在して、、 となることである。 なるほど、この定義ならば、反射律、対称律、推移律を満たしており、普遍性を持つ。同値関係の定義として自然に思える… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fnuc.hatenadiary.org%2Fentry%2F20090623%2Fp1" title="pentagon - 白のカピバラの逆極限 S.144-3" 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 2009-06-23 00:00:01 rich https://nuc.hatenadiary.org/entry/20090623/p1 1.0 100%