derwind https://blog.hatena.ne.jp/derwind/ らんだむな記憶 https://randommemory.hatenablog.com/ math-category arrows が集合をなす場合についての困った(？)定理。ここからcategoryの「大きさ」みたいなものが重要になってくるのか。 そういった category は ${\bf Sets}$ と同じじゃん、という定理。オリジナルのpdfにおける証明は sketch で大分ざくっと雰囲気だけを図で伝えていたが、よくよく考えると categories の isomorphism についても触れずにここに突入しているように見えたりするので、*1できるだけ補ってみた、つもり。*2 Theorem 1.6. arrows の集合を持つようなすべての category $\bf{C}$ は objects… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Frandommemory.hatenablog.com%2Fentry%2F2016%2F01%2F24%2F034227" title="圏論(14)と Cayley 表現 - らんだむな記憶" 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-01-24 03:42:27 rich https://randommemory.hatenablog.com/entry/2016/01/24/034227 1.0 100%