범주 (수학)

수학적 구조

범주론에서 범주(範疇, 영어: category)는 추상적인 구조와 이를 보존하는 변환의 개념을 형식화한 것이다. 수학의 각 분야를 범주를 통해 연구하는 분야를 범주론(範疇論, 영어: category theory)이라고 한다. 범주는 현대 수학의 거의 모든 분야에 나타나며, 수학의 여러 분야를 공통적인 언어로 다룰 수 있게 한다. 수학 밖에도, 범주론은 컴퓨터 과학수리물리학에서도 쓰인다.

정의 편집

범주  는 다음과 같은 데이터로 구성된다.

  • 대상(對象, 영어: object)들의 모임  . 이 모임의 원소를  의 ‘대상’이라고 한다.
  • 임의의 두 대상  에 대하여,  정의역으로,  공역으로 하는 사상(寫像, 영어: morphism)들의 모임  .  에 대하여  로 쓰고,  를 ‘ 에서  로 가는 사상’이라고 한다.  의 사상의 모임을  로 나타낸다.
  • 임의의 세 대상  에 대하여, 이항 연산  . 이를 사상의 합성(合成, 영어: composition)이라고 한다.   의 합성은   또는   등으로 나타낸다.
  • 임의의 대상  에 대하여, 특별한 사상  . 이를  항등 사상(恒等寫像, 영어: identity morphism)이라고 한다.

이 데이터는 다음의 조건들을 만족시켜야 한다.

  • (결합 법칙) 임의의 대상   및 사상  에 대하여,  
  • (항등원) 임의의 대상   및 사상  에 대하여,  

작은 범주 편집

범주  에 대하여, 다음을 정의한다.

  • 만약   가 둘 다 집합인 경우(즉, 고유 모임이 아닌 경우),  작은 범주라고 한다.
  • 만약 임의의  에 대하여  집합인 경우(즉, 고유 모임이 아닌 경우),  국소적으로 작은 범주(영어: locally small category)라고 하며, 사상 모임을 사상 집합(寫像集合, 영어: hom-set)이라고 한다.

작은 범주가 아닌 범주를 큰 범주(영어: large category)라고 한다. 집합함수의 범주를 비롯해, 수학에서 중요하게 쓰이는 대부분의 범주는 국소적으로 작은 범주이다.

만약 그로텐디크 전체를 사용하는 경우, 그로텐디크 전체  에 대하여, 다음과 같이 정의한다.

  • 만약  이며  인 경우,   -작은 범주라고 한다.
  • 만약 임의의  에 대하여  인 경우,   -국소적으로 작은 범주라고 한다.

반대 범주 편집

범주  가 주어졌을 때, 다음과 같은 반대 범주(反對範疇, 영어: opposite category)  를 정의할 수 있다.

  •  의 대상은  의 대상과 같다.
  •  에서, 대상  에서  로 가는 사상은  에서,  에서  로 가는 사상이다. 즉,  이다.

반대 범주에서는 전사 사상단사 사상으로, 쌍대곱으로, 극한쌍대극한으로 바뀐다. 만약 모노이드, 을 하나의 대상을 갖는 범주로 간주할 경우, 반대 범주의 개념은 반대 모노이드 · 반대군 · 반대환의 개념의 일반화이다.

편집

각 범주는 대상이 무엇인지, 사상이 무엇인지, 그리고 사상들이 어떻게 합성되는지에 의해 결정된다.

기호 대상 사상 사상 합성 항등 사상
  집합 함수 함수의 합성 항등 함수
  원순서 집합 단조함수 함수의 합성 항등 함수
  마그마 마그마 준동형 함수의 합성 항등 준동형
  군 준동형 사상 함수의 합성 항등 준동형
  아벨 군 군 준동형 사상 함수의 합성 항등 준동형
  환 준동형 사상 함수의 합성 항등 준동형
  가환환 환 준동형 사상 함수의 합성 항등 준동형
  유사환 유사환 준동형 사상 함수의 합성 항등 준동형
  ( 은 환)   위의 (왼쪽) 가군 (왼쪽) 가군 준동형 사상 함수의 합성 항등 준동형
  ( )   위의 벡터 공간 선형 변환 함수의 합성 항등 선형 변환
  위상 공간 연속 함수 함수의 합성 항등 함수
  매끄러운 다양체 매끄러운 함수 함수의 합성 항등 함수
  작은 범주 함자 함자의 합성 항등 함자
  집합 관계   등호  
부분 순서 집합    의 원소  이면  , 아니면      
모노이드     (임의의 유일한 대상)  의 원소 모노이드 이항 연산   모노이드 항등원  
  ( 는 임의의 범주)  의 대상      의 항등 사상
  ( ,  는 임의의 범주)  에서  로 가는 함자 함자들 사이의 자연 변환 자연 변환의 합성 항등 자연 변환
  없음 (공집합) 없음 (공집합)
    (하나의 대상)   (하나의 사상) ­  
    (두 개의 대상)  ,  ,   (세 개의 사상)  ,  

역사 편집

범주의 개념은 사무엘 에일렌베르크손더스 매클레인이 1942~1945년 사이에 대수적 위상수학에서 영감을 얻어 도입하였다.[1] 이에 대하여 에일렌베르크와 매클레인은 다음과 같이 적었다.

범주를 정의한 이유는 함자를 정의하기 위해서이고, 함자를 정의한 이유는 자연 변환을 정의하기 위해서이다.
[…] “category” has been defined in order to be able to define “functor” and “functor” has been defined in order to be able to define “natural transformation”.
 
[2]:18

같이 보기 편집

각주 편집

  1. Eilenberg, Samuel; Saunders Mac Lane (1945년 9월). “General theory of natural equivalences”. 《Transactions of the American Mathematical Society》 58 (2): 231–294. doi:10.2307/1990284. 
  2. Mac Lane, Saunders (1998). 《Categories for the working mathematician》. Graduate Texts in Mathematics (영어) 5 2판. Springer. doi:10.1007/978-1-4757-4721-8. ISBN 978-1-4419-3123-8. ISSN 0072-5285. MR 1712872. Zbl 0906.18001. 

참고 문헌 편집

외부 링크 편집