derwind https://blog.hatena.ne.jp/derwind/ らんだむな記憶 https://randommemory.hatenablog.com/ math-category 圏論(10) - らんだむな記憶と圏論(11) - らんだむな記憶で ``bijective homomorphism'' が存在するが同型ではないこともあるという話に触れた。 $\mathbf{Pos}$ の例は少し分かりにくくて、p.38 で登場する $\mathbf{Top}$ を例にとったほうが分かりやすい、と思う。――― $\mathbf{Top}$ とは、空間と連続函数からなる category である。代数概論 (数学選書) | 森田 康夫 | 本 | Amazon.co.jp (森田本とでも呼ぼう) に良い記述がある。――― 位相空間の圏では、連続な1対1の写像が単射であり、連… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Frandommemory.hatenablog.com%2Fentry%2F2016%2F02%2F03%2F015900" title="圏論(19) - らんだむな記憶" 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-02-03 01:59:00 rich https://randommemory.hatenablog.com/entry/2016/02/03/015900 1.0 100%