페북에 올라온 질문 중에 카테고리 이론(Category Theory)이 어떤 이유에서 만들어진 것인지 모르겠다는 질문이 올라왔다. 이 이론은 20세기 중반에 Homology 이론이 만들어지고 나서 우리가 수학에서 이론을 만든다는 것에 Homology 이론이 그 전범이 된다고 생각하여, 이렇게 한 가지 대상을 이해하기 위하여 우리가 잘 아는 다른 대상과 사이에 구조적인 동일형태관계를 맺고 그 두 번째 대상을 통하여 문제의 대상을 이해한다는 도식을 (메타)수학 이론으로 정리한 것이라고 생각할 수 있다. 20세기 전반부에는 수학을 이해하는 도구로는 집합론을 꼽을 수 있다. 이것은 수학의 이론이란 것은 모두 어떤 대상을 가지고 있는데 이 대상의 모임을 집합이라 부르고 각각의 대상은 이 집합의 원소로 보는 방법이..