데카르트 닫힌 범주

범주론에서 데카르트 닫힌 범주(Descartes닫힌範疇, 영어: Cartesian closed category, 약자 CCC)는 사상 집합을 대상으로 간주할 수 있어, 정의역이 곱 대상인 사상을, 사상 집합을 공역으로 갖는 사상으로 치환할 수 있는 범주이다.

정의

편집

지수 대상

편집

모노이드 범주  에서, 두 대상  지수 대상(영어: exponential object)  은 다음과 같은 보편 성질을 만족시키는 대상이다. 임의의 대상   및 사상  에 대하여, 다음 그림을 가환하게 만드는 유일한 사상  이 존재한다.

 

데카르트 닫힌 범주

편집

모노이드 범주  에 대하여 다음 두 조건이 서로 동치이며, 이를 만족시키는 모노이드 범주를 닫힌 모노이드 범주(영어: closed monoidal category)라고 한다.

  • 임의의 두 대상  에 대하여, 지수 대상  가 존재한다.
  • 모든 대상  에 대하여 다음과 같은 수반 함자가 존재한다.
     

 에 대한 닫힌 모노이드 범주를 데카르트 닫힌 범주라고 한다.

국소 데카르트 닫힌 범주

편집

범주   위의 사상  에 대하여, 두 조각 범주 사이에 자연스러운 함자

 
 

가 존재한다. 만약  유한 완비 범주라면 밑 변환(영어: base change) 함자

 
 

왼쪽 수반 함자  가 존재한다.   함자를 의존합(依存合, 영어: dependent sum)이라고 부른다.

유한 완비 범주  에서 다음 두 조건이 서로 동치이며, 이를 만족시키는 유한 완비 범주국소 데카르트 닫힌 범주(영어: locally Cartesian closed category)라고 한다.

  • 임의의 대상  에 대하여, 조각 범주  는 데카르트 닫힌 범주이다.
  • 임의의 사상  에 대하여, 조각 범주 사이의 함자  는 또한 오른쪽 수반 함자  를 갖는다.

끝 대상  에 대한 조각 범주   와 동형이므로, 모든 (유한 완비) 국소 데카르트 닫힌 범주는 데카르트 닫힌 범주이다.

국소 데카르트 닫힌 범주에서, 사상  에 대하여 존재하는 오른쪽 수반 함자  의존곱(依存-, 영어: dependent product)이라고 한다. 대략, 사상  이 주어졌을 때 이를   위의 "다발"로 해석하고, "밑공간"   위의  -점에 대하여 그 "올"  을 정의할 수 있다. 그렇다면, 의존곱은 이를 다발  의 "단면"들의 모임으로 대응시킨다. 이러한 해석은 물론 임의의 범주에서 적용되지 않지만, 집합의 범주나 다른 토포스 속에서 성립한다.

데카르트 닫힌 범주

편집

데카르트 닫힌 범주의 예는 다음과 같다.

이름 대상 사상 지수 대상
  집합 함수 곱집합   함수의 집합  
  유한 집합 유한 집합 사이의 함수 곱집합 함수의 집합  
  ( 는 하나의 대상을 갖는 범주로 여긴 )  작용을 갖는 집합  의 작용과 호환되는 함수 (자연스러운 곱 작용을 갖춘) 곱집합    의 작용과 호환되는 함수의 집합  . ( 에 대하여,  )
  ( 는 작은 범주) 함자   자연 변환 공역에서의 곱     에 대하여,  자연 변환  의 집합
조각 범주   ( 는 집합) 함수    ,  에 대하여     에 대하여, 당김     에 대하여,

 

  작은 범주 함자 곱 범주 (대상·사상이 각각 대상·사상의 순서쌍) 함자 범주   (대상은 함자, 사상은 자연 변환)
 [1] 콤팩트 생성(영어: compactly generated) 하우스도르프 공간 콤팩트 생성 하우스도르프 공간 사이의 연속함수   (  에서의 곱위상,  는 콤팩트 생성화)   ( 콤팩트-열린집합 위상을 갖춘 연속함수들의 공간)

일반적인 위상 공간의 범주  에서는 (=곱위상을 갖춘 곱공간) 및 끝 대상 (=한원소 공간)이 존재하지만, 지수 대상은 일반적으로 존재하지 않는다. (그러나 이 위에는 독특한 닫힌 대칭 모노이드 범주 구조가 존재한다.)

닫힌 모노이드 범주

편집

  위의 벡터 공간의 범주  에서는 (=직합  ) 및 끝 대상 (=0차원 벡터 공간)이 존재하지만, 지수 대상은 존재하지 않는다. 그러나 텐서곱( )에 대해서는 지수 대상과 유사한 대상 (선형 변환의 집합  )이 존재한다. 즉, 이는 닫힌 대칭 모노이드 범주를 이룬다.

아벨 군의 범주  는 아벨 군의 텐서곱에 대하여 닫힌 대칭 모노이드 범주를 이룬다. 두 아벨 군 사이의 군 준동형들의 집합은 점별 합에 대하여 자연스럽게 아벨 군을 이룬다.

모든 위상 공간의 범주   위에는 유일한 닫힌 대칭 모노이드 범주 구조가 존재한다.[2]:291, Corollary 2.4[3]:62, Remark 6.1.2 이 닫힌 대칭 모노이드 범주 구조에서,

이 때문에 이 닫힌 대칭 모노이드 범주 구조는 위상수학에서 그리 유용하지 않다.[3]:62, Remark 6.1.2

국소 데카르트 닫힌 범주

편집

모든 토포스와 모든 준토포스는 국소 데카르트 닫힌 범주이다. 토포스조각 범주 역시 토포스이며, 토포스   속의 사상  에 의하여 수반 함자

 

가 유도된다. 이는 토포스의 본질적 기하학적 사상을 이룬다.

특히, 집합함수토포스  는 국소 데카르트 범주이다. 집합의 범주에서, 함수  에 대한 의존곱은 함수  

 

로 대응시킨다. 여기서

 
 

이며,

 

는 "단면 집합"이다.

특히, 만약  끝 대상한원소 집합이라면,  에 대한 의존곱은  를 단면 집합  으로 대응시킨다.

같이 보기

편집

각주

편집
  1. Steenrod, N. E. (1967). “A convenient category of topological spaces”. 《The Michigan Mathematical Journal》 (영어) 14 (2): 133–152. doi:10.1307/mmj/1028999711. MR 0210075. Zbl 0145.43002. 
  2. Pedicchio, Maria Cristina; Solimini, Sergio (1986년 10월). “On a ‘good’ dense class of topological spaces”. 《Journal of Pure and Applied Algebra》 (영어) 42 (3): 287–295. doi:10.1016/0022-4049(86)90012-5. 
  3. Riehl, Emily (2014년 5월). 《Categorical homotopy theory》 (PDF). New Mathematical Monographs (영어) 24. Cambridge University Press. doi:10.1017/CBO9781107261457. ISBN 978-110704845-4. 2015년 5월 1일에 원본 문서 (PDF)에서 보존된 문서. 2016년 2월 11일에 확인함. 

외부 링크

편집