범주의 동치는 수학의 한 분야인 범주론(category theory)에서 두 범주가 구조적으로 “같은” 것으로 간주될 수 있는 관계를 의미한다. 이는 두 범주 사이에 존재하는 함자(functor)와 자연동형(natural isomorphism)을 통해 정의된다.
정의
두 범주 $\mathcal{C}$와 $\mathcal{D}$ 사이의 함자 $F : \mathcal{C} \to \mathcal{D}$가 동치(equivalence)가 되려면, 다음이 존재해야 한다.
- 다른 함자 $G : \mathcal{D} \to \mathcal{C}$가 존재한다.
- 복합함자 $G \circ F : \mathcal{C} \to \mathcal{C}$와 항등함자 $\mathrm{Id}{\mathcal{C}}$ 사이에 자연동형 $\eta : \mathrm{Id}{\mathcal{C}} \Rightarrow G \circ F$가 있다.
- 복합함자 $F \circ G : \mathcal{D} \to \mathcal{D}$와 항등함자 $\mathrm{Id}{\mathcal{D}}$ 사이에 자연동형 $\epsilon : F \circ G \Rightarrow \mathrm{Id}{\mathcal{D}}$가 있다.
이때 $(F, G, \eta, \epsilon)$를 동치 데이터(equivalence data)라 부른다.
동등성은 전사함자(essentially surjective)와 전사동형(full and faithful)이라는 두 조건으로도 동등하게 기술될 수 있다. 즉, $F$가
- 전사동형: 모든 객체 $X, Y \in \mathcal{C}$에 대해 $\mathrm{Hom}{\mathcal{C}}(X,Y) \to \mathrm{Hom}{\mathcal{D}}(F X, F Y)$가 전단사(bijective)이고,
- 본질적으로 전사: $\mathcal{D}$의 각 객체 $D$에 대해 $F$의 이미지인 객체 $F C$와 $D$ 사이에 동형이 존재한다.
를 만족하면 $F$는 동치가 된다.
성질
- 동치는 동형(isomorphism)보다 약한 관계이지만, 범주론에서 “같은 구조”를 나타내는 기준으로 널리 사용된다.
- 동치 관계는 양상(모든 범주)에서 동치류(equivalence class)를 형성한다.
- 두 범주가 동치이면, 그들의 동일한 “추상적” 성질(예: 한계와 공한계, 가법 구조 등)이 서로 보존된다.
역사·배경
“범주의 동치”라는 용어는 서구 학계에서 사용되는 equivalence of categories를 한국어로 번역한 것이다. 범주론은 1940년대 사우러스 맥레인(Saunders Mac Lane)과 사미엘 아이렐(Eilenberg) 등이 창시했으며, 동치 개념은 1950년대 이후 범주론의 기본적인 개념으로 자리잡았다.
어원·용례
- 어원: 영어 equivalence + category → “동치”(equivalence) + “범주”(category). 한국어 학술 번역에서 “동등”보다 “동치”라는 표현을 쓰는 경우가 많다.
- 사용 맥락
- 대수학, 위상수학, 논리학 등에서 서로 다른 수학적 구조를 비교할 때.
- 호몰로지 이론, 대수적 위상수학 등에서 모델 범주가 서로 동치임을 보이는 증명.
- 컴퓨터 과학의 타입 이론, 함수형 프로그래밍 언어 설계에서 “카테고리 동치”를 이용해 언어 간 의미론을 비교.
참고 문헌·관련 항목
- S. Mac Lane, Categories for the Working Mathematician, 2nd ed., Springer, 1998.
- R. Goldblatt, Topoi: The Categorial Analysis of Logic, North-Holland, 1979.
- “범주론” (Korean Wikipedia) – 범주, 함자, 자연변환 등에 대한 기본 개념을 포함.
See also: 범주, 함자, 자연변환, 전사동형, 본질적으로 전사, 동형 사상.
