ARTICLE 2 Isomorphismsの続き。 4. Isomorphisms and automorphisms のメモ sectionとretractionを使ってisomorphismを定義する。 のretractionであり、同時にsectionであるようなmapをのinverse mapとよびとかく。 こののように、その（sectionでありretra…

http://lambda-the-ultimate.org/node/2265 で紹介されていた Synthetic Computability http://math.andrej.com/wp-content/uploads/2007/05/syncomp-mfps23.pdf 面白そう。とりあえずメモ。 あと、Concepts, Techniques, and Models of Computer Programming…

ARTICLE 2 Isomorphismsの続き。 2. General division problems のメモ epimorphism injectiveならretractionがあるし、retractionがあれば必ずmonomorphism surjectiveならsectionがあるし、sectionがあれば必ずepimorphism ということでいいのだろうか。そ…