개발자로써 간단히 개념 공부한 것을 적어놓는 공간
범주론은 수학의 일반적인 추상 구조를 설명하기 위한 tool set이다.
집합론과 다른 점은 집합론은 객체에 초점을 맞춘다면 범주론은 객체간의 관계에 초점을 맞춘다.
군이란 결합적인 연산을 갖고, 이 연산에 대해 항등원을 가지며, 모든 원소가 역원을 갖는 집합으로 정의한다.
군은 *<G, > 일때 다음 공리들을 만족하는 연산 *를 가진 집합 G를 말한다.