圏論(15) - らんだむな記憶では、「本当に重要なのは arrowsだ！」というスローガンについて触れた。Awodey本はこれについて Mac Lane本を参照せよといった感じのことを書いているが、折角図書館で借りたので読んでみたい。 これは、圏論(1) - らんだむな記…

圏論(10) - らんだむな記憶と圏論(11) - らんだむな記憶で ``bijective homomorphism'' が存在するが同型ではないこともあるという話に触れた。 $\mathbf{Pos}$ の例は少し分かりにくくて、p.38 で登場する $\mathbf{Top}$ を例にとったほうが分かりやすい、…