MKLINK
전단사,bijection
사상,morphism
대응,correspondence
위상동형사상,homeomorphism
자기동형사상,automorphism
자기사상,endomorphism (자기준동형사상)
monomorphism (일대일준동형사상, 단사준동형사상) MKL 단사,injection
epimorphism (위로의 준동형사상, 전사준동형사상, 전사사상) MKL 전사,surjection
미분동형사상,diffeomorphism
반동형사상,antiisomorphism
전단사,bijection
사상,morphism
대응,correspondence
cf. Curry-Howard_correspondence 과 Curry-Howard_isomorphism 은 동의어로 쓰임.
준동형사상,homomorphism위상동형사상,homeomorphism
자기동형사상,automorphism
자기사상,endomorphism (자기준동형사상)
monomorphism (일대일준동형사상, 단사준동형사상) MKL 단사,injection
epimorphism (위로의 준동형사상, 전사준동형사상, 전사사상) MKL 전사,surjection
미분동형사상,diffeomorphism
반동형사상,antiisomorphism
Sub:
group_isomorphism w
isomorphism_class w
Curry-Howard_isomorphism w
순서동형사상,order_isomorphism w
동형그래프,isomorphic_graph w
isomorphism_theorem 동형사상정리, 동형정리 w
group_isomorphism w
isomorphism_class w
Curry-Howard_isomorphism w
순서동형사상,order_isomorphism w
동형그래프,isomorphic_graph w
isomorphism_theorem 동형사상정리, 동형정리 w