풍성한 범주

범주론에서 풍성한 범주(豐盛-範疇, )는 "사상 집합"이 집합 대신 다른 모노이드 범주의 대상이 될 수 있는, 범주의 개념의 일반화이다.

 정의 
모노이드 범주

가 주어졌다고 하자.  위의 풍성한 범주() 는 다음과 같은 데이터로 구성된다.
 모임 . 이 모임의 원소를 의 대상()이라고 한다.
 임의의 에 대하여, .
 임의의 에 대하여, -사상 . 이는 항등 사상을 나타낸다.
 임의의  에 대하여, -사상 . 이는 사상의 합성을 나타낸다.
이 데이터는 다음 세 그림을 가환하게 만들어야만 한다.
 (사상 합성의 결합 법칙)

 (사상 합성의 왼쪽 항등원)

 (사상 합성의 오른쪽 항등원)

 풍성한 함자 
모노이드 범주  위의 두 풍성한 범주 ,  사이의 -풍성한 함자() 는 다음과 같은 데이터로 구성된다.
 각 대상 에 대하여, 대상 
 두 대상 에 대하여,  속의 사상 
이 데이터는 다음 조건들을 만족시켜야 한다.
 (항등원의 보존) 임의의 대상 에 대하여 다음 그림이 가환한다.

 (사상 합성의 보존) 임의의 대상 에 대하여 다음 그림이 가환한다.

 풍성한 자연 변환 
모노이드 범주  위의 두 풍성한 범주 ,  사이의 두 -풍성한 함자  사이의 -풍성한 자연 변환() 은 다음과 같은 데이터로 구성된다.
 각 대상 에 대하여,  속의 사상 
이 데이터는 다음 조건을 만족시켜야 한다.
 (풍성한 함자 구조의 보존) 임의의 대상 에 대하여 다음 그림이 가환한다.

만약 이 국소적으로 작은 닫힌 대칭 모노이드 범주일 때, 은 스스로 -풍성한 범주를 이루며, 표현 가능 -풍성한 함자

가 존재한다. 이 경우, -풍성한 자연 변환 조건은 다음과 같이 쓸 수 있다.
 (풍성한 함자 구조의 보존) 임의의 대상 에 대하여 다음 그림이 가환한다.

모노이드 범주 이 주어졌을 때, 작은(=대상 모임이 집합인) -풍성한 범주, -풍성한 함자, -풍성한 자연 변환은 2-범주 를 이룬다.

 연산 
 반대 범주 
만약 이 대칭 모노이드 범주일 때, -풍성한 범주 의 반대 -풍성한 범주() 는 다음과 같다.
사상의 합성

는 다음과 같다.
항등 사상 는 단순히 이다.

 텐서곱 
만약 이 대칭 모노이드 범주일 때, -풍성한 범주 , 의 텐서곱() 는 다음과 같다.
사상의 합성

은 다음과 같다.
항등 사상 은

이다.

대칭 모노이드 범주 이 주어졌을 때, 는 풍성한 범주의 텐서곱에 대하여 대칭 모노이드 2-범주를 이룬다.

 풍성함의 망각 
국소적으로 작은 모노이드 범주 이 주어졌을 때, 작은 -풍성한 범주의 2-범주 와 작은 범주의 2-범주  사이에 표준적인 표현 가능 2-함자

가 존재한다. 여기서 은 다음과 같다.

 예 
국소적으로 작은 범주는 집합의 범주  위의 풍성한 범주와 같다.

 n-범주 
작은 범주의 범주  위의 풍성한 범주를 2-범주()라고 한다. 보다 일반적으로, -범주의 범주  위의 풍성한 범주를 -범주()라고 한다.

 선형 범주 
가환환  위의 가군들의 범주 는 텐서곱에 대하여 모노이드 범주를 이룬다. 이 위의 풍성한 범주는 -선형 범주(-線型範疇, )라고 한다.

 준가법 범주 
특히,  (정수환)인 경우, 는 아벨 군의 범주 와 같다. -풍성한 범주는 준가법 범주(準加法範疇, )라고 하고, -풍성한 함자는 가법 함자(加法範疇, )라고 한다.

준가법 범주는 항상 영 대상을 가지며,  유한 곱과 유한 쌍대곱이 일치한다.

가법 범주()는 유한 완비 준가법 범주이다. (준가법 범주에서 유한 곱과 유한 쌍대곱이 일치하므로, 유한 완비 범주인 것은 유한 쌍대 완비 범주인 것과 동치이다.)

 같이 보기 
 내적 범주

 참고 문헌 



 외부 링크 












분류:범주론