범주
개요
범주(Category) 범주론(Category Theory) 기본 구성 요소로,학의 다양한 구조와 그들 사이 관계를 추상적으로 다루는 데 사용되는 수학적 개념이다. 범주론은1940대에 샘UEL 에일렌버그(Samuel Eilen)와 손더스 매클레인(Saunders Mac Lane)에 의해 위상수학 호몰로지 이을 정리하기 위한 목적으로 도입되었으며, 이후 현대 수학 전반에 걸쳐 중요한 기초 도구로 자리 잡았다.
범주는 특정 수학적 대상들(예: 집합, 군, 위상공간 등)과 그 대상들 사이의 구조를 보존하는 사상(morphism)들의 집합으로 구성되며, 이 사상들은 합성(composition)과 항등 사상(identity morphism)에 대한 규칙을 만족해야 한다. 이와 같은 추상화를 통해, 다양한 수학 분야에서 공통된 패턴과 성질을 보다 명확하게 이해할 수 있다.
범주의 정의
수학적으로, 범주 $\mathcal{C}$는 다음 두 가지 구성 요소로 이루어진다:
- 대상(Objects): $\text{Ob}(\mathcal{C})$로 표기하며, 어떤 수학적 구조(예: 집합, 군, 벡터 공간 등)의 집합이다.
- 사상(Morphisms): 임의의 두 대상 $A, B \in \text{Ob}(\mathcal{C})$에 대해, $A$에서 $B$로 가는 사상들의 집합 $\text{Hom}(A, B)$가 존재한다. 이 사상은 함수, 군 준동형, 연속 함수 등 구체적인 수학적 구조에 따라 달라진다.
이 두 구성 요소는 다음 두 가지 공리를 만족해야 한다:
-
사상의 합성(Composition):
세 대상 $A, B, C$에 대해, 사상 $f: A \to B$와 $g: B \to C$가 있으면, 합성 사상 $g \circ f: A \to C$가 존재해야 한다.
또한, 합성은 결합 법칙을 만족해야 한다:
$(h \circ g) \circ f = h \circ (g \circ f)$
-
항등 사상(Identity Morphism):
각 대상 $A$에 대해, 항등 사상 $\text{id}_A: A \to A$가 존재하며, 임의의 사상 $f: A \to B$에 대해 다음이 성립한다:
$f \circ \text{id}_A = f$, $\text{id}_B \circ f = f$
주요 예시
- 대상: 모든 집합
- 사상: 집합 사이의 함수
- 합성: 함수의 통상적인 합성
- 항등 사상: 각 집합 위의 항등 함수
이 범주는 가장 직관적인 예이며, 대부분의 수학적 구조가 이 범주 위에서 정의된다.
- 대상: 모든 군
- 사상: 군 준동형(homomorphism)
- 합성: 준동형의 합성
- 항등 사상: 각 군의 항등 준동형
이 범주는 대수학에서 중요한 역할을 하며, 군의 구조 보존을 강조한다.
- 대상: 모든 위상공간
- 사상: 연속 함수
- 합성: 함수의 합성
- 항등 사상: 항등 연속 함수
이 범주는 위상수학에서 핵심적이며, 연속성이라는 위상적 성질을 사상으로 포착한다.
4. 작은 범주 (Small Category)
대상들의 모임이 집합인 범주를 작은 범주라고 한다. 예를 들어, 유한 개의 대상과 유한 개의 사상으로 이루어진 범주는 작은 범주이다. 반면, 모든 집합의 범주 Set은 대상이 너무 많아 집합이 아니므로 큰 범주(large category)에 속한다.
범주의 종류
- 동치 범주 (Equivalent Categories)
두 범주 $\mathcal{C}$와 $\mathcal{D}$가 동치(equivalent)라는 것은, 두 범주 사이에 충실하고 충만한(iso-faithful and full) 함자(functor)가 존재하고, 그 함자가 본질적으로 전사일 때를 말한다. 이는 두 범주가 구조적으로 거의 같음을 의미한다.
- 부분 범주 (Subcategory)
범주 $\mathcal{C}$의 부분 범주 $\mathcal{D}$는 $\mathcal{C}$의 일부 대상과 일부 사상으로 구성되며, $\mathcal{D}$ 자체가 범주 공리를 만족해야 한다. 특히, 모든 사상을 포함하는 경우를 충만한 부분 범주(full subcategory)라고 한다.
- 쌍대 범주 (Opposite Category)
임의의 범주 $\mathcal{C}$에 대해, 쌍대 범주 $\mathcal{C}^{\text{op}}$는 같은 대상 집합을 가지되, 모든 사상의 방향을 뒤집은 범주이다. 즉, $f: A \to B$가 $\mathcal{C}$에 있으면, $\mathcal{C}^{\text{op}}$에서는 $f^{\text{op}}: B \to A$로 간주한다. 이는 수학에서 쌍대성(duality)을 다룰 때 유용하다.
범주론의 중요성
범주론은 수학의 다양한 분야를 통합적으로 이해할 수 있게 해주는 강력한 프레임워크를 제공한다. 특히 다음 분야에서 두드러진 응용을 가진다:
- 위상수학: 호몰로지, 호모토피 이론에서 함자(functor)를 통해 위상공간의 대수적 불변량을 정의한다.
- 대수기하학: 스킴(scheme)의 범주, 층(sheaf)의 범주 등이 중심 개념이다.
- 수리논리 및 컴퓨터 과학: 함수형 프로그래밍 언어(예: Haskell)의 기초가 되며, 몬드(monad), 펑터(functor), 자연 변환(natural transformation) 등이 직접 활용된다.
관련 개념
- 함자(Functor): 두 범주 사이의 구조 보존 사상. 대상과 사상을 대응시키며, 합성과 항등을 보존한다.
- 자연 변환(Natural Transformation): 두 함자 사이의 관계를 나타내는 사상.
- 한정(Limit)과 공한정(Colimit): 범주 내에서 특정 조건을 만족하는 보편적 객체.
추상화의 철학적 배경
범주론은 단순히 수학적 도구를 제공하는 것을 넘어, '수학의 수학(Mathematics of Mathematics)'이라 불리는 독특한 철학적 층위를 갖는다. 전통적인 수학이 집합론에 기반하여 대상의 '내부 구성 요소'를 분석하는 환원주의적 접근을 취했다면, 범주론은 대상 그 자체보다 대상들 사이의 '관계(사상)'에 집중하는 관계주의적 관점을 취한다.
이러한 추상화의 층위는 개별 수학적 구조(군, 환, 위상공간 등)의 세부 사항을 제거하고, 그들이 공유하는 보편적인 패턴을 드러냄으로써 서로 다른 분야의 정리를 하나의 언어로 통합하고 전이시키는 것을 가능하게 한다.
클래스(Class) 도입의 필요성
범주의 정의에서 대상과 사상의 모임을 단순한 '집합(Set)'이 아닌 '클래스(Class)'로 정의하는 이유는 집합론적 역설, 특히 러셀의 역설(Russell's Paradox)을 피하기 위함이다.
만약 '모든 집합의 집합'을 상정한다면, 이는 집합론의 공리계 내에서 모순을 일으킨다. 마찬가지로 모든 집합을 대상으로 하는 범주 $\mathbf{Set}$의 대상들의 모임을 하나의 집합으로 간주할 경우, 크기 문제(Size issue)로 인해 수학적 엄밀성이 무너진다. 따라서 범주론에서는 집합보다 더 큰 개념인 '클래스'를 도입하여, 대상들의 모임이 집합이 아닐 수 있음을 명시함으로써 논리적 일관성을 유지한다.
특수한 범주들의 예
1. 포셋(Poset)의 범주 해석
부분 순서 집합(Partially Ordered Set, Poset)은 그 자체로 하나의 범주로 해석될 수 있다.
- 대상: 포셋의 원소들
- 사상: 두 원소 $a, b$에 대해 $a \le b$일 때만 유일한 사상 $f: a \to b$가 존재하며, $a \not\le b$이면 사상이 존재하지 않는다.
- 해석: 이 관점에서 '사상의 합성'은 전이성($a \le b$이고 $b \le c$이면 $a \le c$)에 대응하며, '항등 사상'은 반사성($a \le a$)에 대응한다.
2. 단일 대상 범주 (Monoid로서의 범주)
대상이 단 하나($\text{Ob}(\mathcal{C}) = \{*\}$)뿐인 범주는 대수학의 모노이드(Monoid)와 완전히 동일하다.
- 사상: 대상 $*$에서 $*$로 가는 사상들의 집합 $\text{Hom}(*, *)$
- 합성: 모노이드의 이항 연산
- 항등 사상: 모노이드의 단위원(Identity element)
범주의 보편 성질 (Universal Properties)
범주론에서는 대상을 내부 구조가 아닌, 다른 대상들과 맺는 보편적 관계를 통해 정의한다.
- 초기 대상(Initial Object): 범주 $\mathcal{C}$의 모든 대상 $X$에 대해, 초기 대상 $0$에서 $X$로 가는 사상이 유일하게 존재하는 대상. (예: $\mathbf{Set}$에서의 공집합 $\emptyset$)
- 최종 대상(Terminal Object): 범주 $\mathcal{C}$의 모든 대상 $X$에 대해, $X$에서 최종 대상 $1$로 가는 사상이 유일하게 존재하는 대상. (예: $\mathbf{Set}$에서의 단원 집합 $\{*\}$)
- 곱(Product): 두 대상 $A, B$와 투영 사상 $\pi_A, \pi_B$로 구성된 대상 $A \times B$가 있어, 임의의 대상 $Z$와 사상 $f: Z \to A, g: Z \to B$에 대해 $f$와 $g$를 통해 유일하게 결정되는 사상 $h: Z \to A \times B$가 존재할 때 이를 곱이라 한다.
- 여곱(Coproduct): 곱의 쌍대 개념으로, 대상에서 뻗어나가는 사상들의 보편성을 통해 정의된다. (예: $\mathbf{Set}$에서의 서로소 합 $\sqcup$)
범주의 세부 분류
범주는 그 크기와 구조적 엄격함에 따라 다음과 같이 세분화된다.
- 작은 범주(Small Category): 대상의 모임과 사상의 모임이 모두 집합(Set)인 범주.
- 국소적으로 작은 범주(Locally Small Category): 대상의 모임은 클래스일 수 있으나, 임의의 두 대상 사이의 사상 집합 $\text{Hom}(A, B)$는 항상 집합인 범주. 대부분의 수학적 범주가 이에 해당한다.
- 엄격한 범주(Strict Category): 합성의 결합 법칙과 항등 법칙이 등호($=$)로 엄격하게 성립하는 범주. (이와 대비되는 개념으로 동형 사상 $\cong$을 통해 성립하는 약한 범주(Weak Category)나 $\infty$-범주 등이 존재한다.)
CHL 대응 관계와 현대적 응용
컴퓨터 과학의 타입 이론과 수리논리, 그리고 범주론 사이에는 커리-하워드-람베크 대응(Curry-Howard-Lambek correspondence)이라는 깊은 연관성이 존재한다. 이는 서로 다른 세 영역의 개념이 구조적으로 동일함을 나타낸다.
| 논리학 (Logic) |
타입 이론 (Type Theory) |
범주론 (Category Theory) |
| 명제 (Proposition) |
타입 (Type) |
대상 (Object) |
| 증명 (Proof) |
프로그램/항 (Term) |
사상 (Morphism) |
| 함축 ($\implies$) |
함수 타입 ($\to$) |
지수 대상 (Exponential Object) |
| 논리곱 ($\land$) |
곱 타입 (Product Type) |
곱 (Product) |
| 논리합 ($\lor$) |
합 타입 (Sum Type) |
여곱 (Coproduct) |
| 진리 (Truth) |
단위 타입 (Unit Type) |
최종 대상 (Terminal Object) |
| 거짓 (Falsity) |
빈 타입 (Empty Type) |
초기 대상 (Initial Object) |
이 대응 관계는 함수형 프로그래밍 언어의 타입 시스템을 설계하거나, 프로그램의 정밀한 검증을 수행하는 이론적 토대가 된다.
참고 자료
- Mac Lane, S. (1998). Categories for the Working Mathematician. Springer.
- Awodey, S. (2010). Category Theory. Oxford University Press.
- nLab: https://ncatlab.org/nlab/show/category — 범주론에 관한 심층적인 온라인 자료.
이 문서는 범주의 정의, 예시, 구조, 그리고 수학에서의 역할을 개관하였다. 범주론은 수학의 추상화와 통합을 가능하게 하며, 현대 수학의 기초를 이해하는 데 필수적인 도구이다.
# 범주
## 개요
**범주**(Category) **범주론**(Category Theory) 기본 구성 요소로,학의 다양한 구조와 그들 사이 관계를 추상적으로 다루는 데 사용되는 수학적 개념이다. 범주론은1940대에 샘UEL 에일렌버그(Samuel Eilen)와 손더스 매클레인(Saunders Mac Lane)에 의해 위상수학 호몰로지 이을 정리하기 위한 목적으로 도입되었으며, 이후 현대 수학 전반에 걸쳐 중요한 기초 도구로 자리 잡았다.
범주는 특정 수학적 대상들(예: 집합, 군, 위상공간 등)과 그 대상들 사이의 구조를 보존하는 사상(morphism)들의 집합으로 구성되며, 이 사상들은 합성(composition)과 항등 사상(identity morphism)에 대한 규칙을 만족해야 한다. 이와 같은 추상화를 통해, 다양한 수학 분야에서 공통된 패턴과 성질을 보다 명확하게 이해할 수 있다.
---
## 범주의 정의
수학적으로, **범주** $\mathcal{C}$는 다음 두 가지 구성 요소로 이루어진다:
1. **대상**(Objects): $\text{Ob}(\mathcal{C})$로 표기하며, 어떤 수학적 구조(예: 집합, 군, 벡터 공간 등)의 집합이다.
2. **사상**(Morphisms): 임의의 두 대상 $A, B \in \text{Ob}(\mathcal{C})$에 대해, $A$에서 $B$로 가는 사상들의 집합 $\text{Hom}(A, B)$가 존재한다. 이 사상은 함수, 군 준동형, 연속 함수 등 구체적인 수학적 구조에 따라 달라진다.
이 두 구성 요소는 다음 두 가지 공리를 만족해야 한다:
- **사상의 합성**(Composition):
세 대상 $A, B, C$에 대해, 사상 $f: A \to B$와 $g: B \to C$가 있으면, 합성 사상 $g \circ f: A \to C$가 존재해야 한다.
또한, 합성은 **결합 법칙**을 만족해야 한다:
$(h \circ g) \circ f = h \circ (g \circ f)$
- **항등 사상**(Identity Morphism):
각 대상 $A$에 대해, 항등 사상 $\text{id}_A: A \to A$가 존재하며, 임의의 사상 $f: A \to B$에 대해 다음이 성립한다:
$f \circ \text{id}_A = f$, $\text{id}_B \circ f = f$
---
## 주요 예시
### 1. 집합의 범주 (Set)
- **대상**: 모든 집합
- **사상**: 집합 사이의 함수
- **합성**: 함수의 통상적인 합성
- **항등 사상**: 각 집합 위의 항등 함수
이 범주는 가장 직관적인 예이며, 대부분의 수학적 구조가 이 범주 위에서 정의된다.
### 2. 군의 범주 (Grp)
- **대상**: 모든 군
- **사상**: 군 준동형(homomorphism)
- **합성**: 준동형의 합성
- **항등 사상**: 각 군의 항등 준동형
이 범주는 대수학에서 중요한 역할을 하며, 군의 구조 보존을 강조한다.
### 3. 위상공간의 범주 (Top)
- **대상**: 모든 위상공간
- **사상**: 연속 함수
- **합성**: 함수의 합성
- **항등 사상**: 항등 연속 함수
이 범주는 위상수학에서 핵심적이며, 연속성이라는 위상적 성질을 사상으로 포착한다.
### 4. 작은 범주 (Small Category)
대상들의 모임이 집합인 범주를 **작은 범주**라고 한다. 예를 들어, 유한 개의 대상과 유한 개의 사상으로 이루어진 범주는 작은 범주이다. 반면, 모든 집합의 범주 **Set**은 대상이 너무 많아 집합이 아니므로 **큰 범주**(large category)에 속한다.
---
## 범주의 종류
### - 동치 범주 (Equivalent Categories)
두 범주 $\mathcal{C}$와 $\mathcal{D}$가 **동치**(equivalent)라는 것은, 두 범주 사이에 충실하고 충만한(iso-faithful and full) 함자(functor)가 존재하고, 그 함자가 본질적으로 전사일 때를 말한다. 이는 두 범주가 구조적으로 거의 같음을 의미한다.
### - 부분 범주 (Subcategory)
범주 $\mathcal{C}$의 **부분 범주** $\mathcal{D}$는 $\mathcal{C}$의 일부 대상과 일부 사상으로 구성되며, $\mathcal{D}$ 자체가 범주 공리를 만족해야 한다. 특히, 모든 사상을 포함하는 경우를 **충만한 부분 범주**(full subcategory)라고 한다.
### - 쌍대 범주 (Opposite Category)
임의의 범주 $\mathcal{C}$에 대해, **쌍대 범주** $\mathcal{C}^{\text{op}}$는 같은 대상 집합을 가지되, 모든 사상의 방향을 뒤집은 범주이다. 즉, $f: A \to B$가 $\mathcal{C}$에 있으면, $\mathcal{C}^{\text{op}}$에서는 $f^{\text{op}}: B \to A$로 간주한다. 이는 수학에서 쌍대성(duality)을 다룰 때 유용하다.
---
## 범주론의 중요성
범주론은 수학의 다양한 분야를 통합적으로 이해할 수 있게 해주는 강력한 프레임워크를 제공한다. 특히 다음 분야에서 두드러진 응용을 가진다:
- **위상수학**: 호몰로지, 호모토피 이론에서 함자(functor)를 통해 위상공간의 대수적 불변량을 정의한다.
- **대수기하학**: 스킴(scheme)의 범주, 층(sheaf)의 범주 등이 중심 개념이다.
- **수리논리 및 컴퓨터 과학**: 함수형 프로그래밍 언어(예: Haskell)의 기초가 되며, **몬드**(monad), **펑터**(functor), **자연 변환**(natural transformation) 등이 직접 활용된다.
---
## 관련 개념
- **함자**(Functor): 두 범주 사이의 구조 보존 사상. 대상과 사상을 대응시키며, 합성과 항등을 보존한다.
- **자연 변환**(Natural Transformation): 두 함자 사이의 관계를 나타내는 사상.
- **한정**(Limit)과 **공한정**(Colimit): 범주 내에서 특정 조건을 만족하는 보편적 객체.
---
## 추상화의 철학적 배경
범주론은 단순히 수학적 도구를 제공하는 것을 넘어, **'수학의 수학(Mathematics of Mathematics)'**이라 불리는 독특한 철학적 층위를 갖는다. 전통적인 수학이 집합론에 기반하여 대상의 '내부 구성 요소'를 분석하는 환원주의적 접근을 취했다면, 범주론은 대상 그 자체보다 대상들 사이의 **'관계(사상)'**에 집중하는 관계주의적 관점을 취한다.
이러한 추상화의 층위는 개별 수학적 구조(군, 환, 위상공간 등)의 세부 사항을 제거하고, 그들이 공유하는 보편적인 패턴을 드러냄으로써 서로 다른 분야의 정리를 하나의 언어로 통합하고 전이시키는 것을 가능하게 한다.
## 클래스(Class) 도입의 필요성
범주의 정의에서 대상과 사상의 모임을 단순한 '집합(Set)'이 아닌 **'클래스(Class)'**로 정의하는 이유는 집합론적 역설, 특히 **러셀의 역설(Russell's Paradox)**을 피하기 위함이다.
만약 '모든 집합의 집합'을 상정한다면, 이는 집합론의 공리계 내에서 모순을 일으킨다. 마찬가지로 모든 집합을 대상으로 하는 범주 $\mathbf{Set}$의 대상들의 모임을 하나의 집합으로 간주할 경우, 크기 문제(Size issue)로 인해 수학적 엄밀성이 무너진다. 따라서 범주론에서는 집합보다 더 큰 개념인 '클래스'를 도입하여, 대상들의 모임이 집합이 아닐 수 있음을 명시함으로써 논리적 일관성을 유지한다.
## 특수한 범주들의 예
### 1. 포셋(Poset)의 범주 해석
부분 순서 집합(Partially Ordered Set, Poset)은 그 자체로 하나의 범주로 해석될 수 있다.
- **대상**: 포셋의 원소들
- **사상**: 두 원소 $a, b$에 대해 $a \le b$일 때만 유일한 사상 $f: a \to b$가 존재하며, $a \not\le b$이면 사상이 존재하지 않는다.
- **해석**: 이 관점에서 '사상의 합성'은 전이성($a \le b$이고 $b \le c$이면 $a \le c$)에 대응하며, '항등 사상'은 반사성($a \le a$)에 대응한다.
### 2. 단일 대상 범주 (Monoid로서의 범주)
대상이 단 하나($\text{Ob}(\mathcal{C}) = \{*\}$)뿐인 범주는 대수학의 **모노이드(Monoid)**와 완전히 동일하다.
- **사상**: 대상 $*$에서 $*$로 가는 사상들의 집합 $\text{Hom}(*, *)$
- **합성**: 모노이드의 이항 연산
- **항등 사상**: 모노이드의 단위원(Identity element)
## 범주의 보편 성질 (Universal Properties)
범주론에서는 대상을 내부 구조가 아닌, 다른 대상들과 맺는 **보편적 관계**를 통해 정의한다.
- **초기 대상(Initial Object)**: 범주 $\mathcal{C}$의 모든 대상 $X$에 대해, 초기 대상 $0$에서 $X$로 가는 사상이 **유일하게** 존재하는 대상. (예: $\mathbf{Set}$에서의 공집합 $\emptyset$)
- **최종 대상(Terminal Object)**: 범주 $\mathcal{C}$의 모든 대상 $X$에 대해, $X$에서 최종 대상 $1$로 가는 사상이 **유일하게** 존재하는 대상. (예: $\mathbf{Set}$에서의 단원 집합 $\{*\}$)
- **곱(Product)**: 두 대상 $A, B$와 투영 사상 $\pi_A, \pi_B$로 구성된 대상 $A \times B$가 있어, 임의의 대상 $Z$와 사상 $f: Z \to A, g: Z \to B$에 대해 $f$와 $g$를 통해 유일하게 결정되는 사상 $h: Z \to A \times B$가 존재할 때 이를 곱이라 한다.
- **여곱(Coproduct)**: 곱의 쌍대 개념으로, 대상에서 뻗어나가는 사상들의 보편성을 통해 정의된다. (예: $\mathbf{Set}$에서의 서로소 합 $\sqcup$)
## 범주의 세부 분류
범주는 그 크기와 구조적 엄격함에 따라 다음과 같이 세분화된다.
- **작은 범주(Small Category)**: 대상의 모임과 사상의 모임이 모두 집합(Set)인 범주.
- **국소적으로 작은 범주(Locally Small Category)**: 대상의 모임은 클래스일 수 있으나, 임의의 두 대상 사이의 사상 집합 $\text{Hom}(A, B)$는 항상 집합인 범주. 대부분의 수학적 범주가 이에 해당한다.
- **엄격한 범주(Strict Category)**: 합성의 결합 법칙과 항등 법칙이 등호($=$)로 엄격하게 성립하는 범주. (이와 대비되는 개념으로 동형 사상 $\cong$을 통해 성립하는 약한 범주(Weak Category)나 $\infty$-범주 등이 존재한다.)
## CHL 대응 관계와 현대적 응용
컴퓨터 과학의 타입 이론과 수리논리, 그리고 범주론 사이에는 **커리-하워드-람베크 대응(Curry-Howard-Lambek correspondence)**이라는 깊은 연관성이 존재한다. 이는 서로 다른 세 영역의 개념이 구조적으로 동일함을 나타낸다.
| 논리학 (Logic) | 타입 이론 (Type Theory) | 범주론 (Category Theory) |
| :--- | :--- | :--- |
| 명제 (Proposition) | 타입 (Type) | 대상 (Object) |
| 증명 (Proof) | 프로그램/항 (Term) | 사상 (Morphism) |
| 함축 ($\implies$) | 함수 타입 ($\to$) | 지수 대상 (Exponential Object) |
| 논리곱 ($\land$) | 곱 타입 (Product Type) | 곱 (Product) |
| 논리합 ($\lor$) | 합 타입 (Sum Type) | 여곱 (Coproduct) |
| 진리 (Truth) | 단위 타입 (Unit Type) | 최종 대상 (Terminal Object) |
| 거짓 (Falsity) | 빈 타입 (Empty Type) | 초기 대상 (Initial Object) |
이 대응 관계는 함수형 프로그래밍 언어의 타입 시스템을 설계하거나, 프로그램의 정밀한 검증을 수행하는 이론적 토대가 된다.
## 참고 자료
- Mac Lane, S. (1998). *Categories for the Working Mathematician*. Springer.
- Awodey, S. (2010). *Category Theory*. Oxford University Press.
- nLab: [https://ncatlab.org/nlab/show/category](https://ncatlab.org/nlab/show/category) — 범주론에 관한 심층적인 온라인 자료.
---
이 문서는 범주의 정의, 예시, 구조, 그리고 수학에서의 역할을 개관하였다. 범주론은 수학의 추상화와 통합을 가능하게 하며, 현대 수학의 기초를 이해하는 데 필수적인 도구이다.