목차 시작하면서... Category 정의 Isomorphism Examples 1 Examples 2 마무리 시작하면서... 범주론이라고도 불리우는 category theory는 현대 수학에서는 없어서는 안 될 강력한 추상화 도구이다. 엔지니어링 사이드에서는 함수형 프로그래밍 등에서도 많이 응용되는 듯 하다. Categories, What's the Point? 가까운 미래에는 여러 프로그래밍 언어를 다뤄보면서 category theory를 접목시킬 기회가 생길지는 모르겠지만, 우선은 수학에서 요긴하게 갖다쓸 수 있도록 study를 진행하고자 한다. Category 정의 Category $\mathcal{C}$는 object와 morphism으로 구성이 되어 있는 대상이다. 좀 더 구체적으로, obje..