동형사상,isomorphism

Difference between r1.5 and the current

@@ -8,8 +8,8 @@

[[위상동형사상,homeomorphism]]
[[자기동형사상,automorphism]]
[[자기사상,endomorphism]] (자기준동형사상)

[[monomorphism]] (일대일준동형사상, 단사준동형사상)

[[epimorphism]] (위로의 준동형사상, 전사준동형사상, 전사사상)

[[monomorphism]] (일대일준동형사상, 단사준동형사상) MKL [[단사,injection]]

[[epimorphism]] (위로의 준동형사상, 전사준동형사상, 전사사상) MKL [[전사,surjection]]

[[미분동형사상,diffeomorphism]]
[[반동형사상,antiisomorphism]]

@@ -21,5 +21,4 @@

[[순서동형사상,order_isomorphism]] w
[[동형그래프,isomorphic_graph]] w
[[isomorphism_theorem]] 동형사상정리, 동형정리 w

cf. Curry-Howard_correspondence 과 Curry-Howard_isomorphism 은 동의어로 쓰임.