derwind https://blog.hatena.ne.jp/derwind/ らんだむな記憶 https://randommemory.hatenablog.com/ math-category [Steve Awodey本] 1.5 Isomorphism 続き それ(category 論的な概念のみを用いたisomorphismの定義)はどんなcategoryであれそこで考えられる他のisomorphismの定義よりも優れた点がある。例えば、集合のisomorphismを全単射写像、モノイドその他のisomorphismを全単射準同型写像、つまり "1対1上への" 写像であるようなもので定義することが考えられる ―― これは objects の元を使用した定義になる。これは集合やモノイドような幾つかのケースでは我々の定義と同等である。しかし例えば ${\bf Pos}$ においては… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Frandommemory.hatenablog.com%2Fentry%2F2016%2F01%2F23%2F024406" title="圏論(11)と続 isomorphism - らんだむな記憶" 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-23 02:44:06 rich https://randommemory.hatenablog.com/entry/2016/01/23/024406 1.0 100%