initial-object

범주론에서의 카테고리에 대해 알아보자. 프로그래밍과 무슨 관계가 있는가? 왜 이런 메타수학에서 사용되는 개념이 프로그래밍에서 사용될까? 프로그래밍에서 공통적으로 나타내는 개념들 사이의 관계가 카테고리의 조건에 딱 들어맞는다. 모든 프로그래밍 언어에는 타입이 있다.

• category
• category-theory
• group-theory
• type-category
• isomorphism
• monomorphism
• teminal-object
• initial-object
• epimorphism
• functional-programming
• currying