derwind https://blog.hatena.ne.jp/derwind/ らんだむな記憶 https://randommemory.hatenablog.com/ math-category 前回示した Theorem 1.6 はちょっと嬉しくないことを誘発する。 ――― Remark 1.7. このこと*1から集合と写像のなす ``具体的な'' category の素朴な概念についてまずいところがあることが見えてくる: 一般に category はその objects と arrows としては特別な集合だとか写像だとかを持たないのであるが、一方ですべての category *2 はそういったものと同型*3 ということになってしまうのである。 故に、そういった category が持ち得る特別な性質としては category 的にはつまらないもの、例えばどうやっても arrows… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Frandommemory.hatenablog.com%2Fentry%2F2016%2F01%2F24%2F035956" title="圏論(15)とスローガン - らんだむな記憶" 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:59:56 rich https://randommemory.hatenablog.com/entry/2016/01/24/035956 1.0 100%