동형사상,isomorphism

MKLINK
전단사,bijection
사상,morphism
대응,correspondence
cf. Curry-Howard_correspondence 과 Curry-Howard_isomorphism 은 동의어로 쓰임.
준동형사상,homomorphism
위상동형사상,homeomorphism
자기동형사상,automorphism
자기사상,endomorphism (자기준동형사상)
monomorphism (일대일준동형사상, 단사준동형사상) MKL 단사,injection
epimorphism (위로의 준동형사상, 전사준동형사상, 전사사상) MKL 전사,surjection
미분동형사상,diffeomorphism
반동형사상,antiisomorphism