• 그래프,graph
       rel. [[동형사상,isomorphism]]
• 사원수,quaternion
       두 [[행렬,matrix]]로 생성되는 군을 사원수 군과 동형 표현([[동형사상,isomorphism]]) 가능 - 수학백과 참조
• 유리수,rational_number
       https://everything2.com/title/rational+number (rel. aleph_null, [[동형사상,isomorphism]])
• 전단사,bijection
       '''bijection''' 개념의 일반화는 [[동형사상,isomorphism]]? chk
• 증명,proof
       이런 증명과정은 프로그래밍언어,programming_language 에서 제공하는 것(statement?)들과 일대일 대응. 프로그램 한 줄 ↔ 증명의 한 줄. 이것을 커리-하워드_동치 Curry-Howard_isomorphism { [[WpKo:커리-하워드_대응]] { tmp quote: "정확히 말하면 커리-하워드 대응은 논리의 증명 연산(proof_calculus)과 컴퓨터의 형 체계(type_system)가 대응된다는 진술이다. 예를 들어 힐베르트 체계(Hilbert_system)와 콤비네이터 논리(combinatory_logic)가, 자연 연역([[자연연역,natural_deduction]] - curr at [[연역,deduction]] - 작성중)과 람다 계산([[람다대수,lambda_calculus]])이 대응된다." } [[WpEn:Curry–Howard_correspondence]] rel. [[동형사상,isomorphism]] } 라고 한다.

You can also click here to search title.