범주론에서, '''올범주'''(-範疇, 또는 '''그로텐디크 올뭉치'''()는 어떤 유일 올림 성질을 만족시켜서 올뭉치와 같은 성질을 보이는 함자이다. 내림 데이터나 스택을 정의할 쓰인다. == 정의 == 올범주의 개념은 가지로 정의될 있다. 정의는 보다 개념적으로 명확하며, 준층의 정의의 직접적 일반화이다. 그러나 이는 올범주의 개념을 응용하기에 불필요한 추가 데이터(“쪼갬”)를 담고 있다. 다른 정의는 보다 기술적으로 용이하며, 불필요한 데이터를 담고 있지 않지만, 개념적으로 명확하지 않다. 정의 사이의 차이는 “쪼갬”이라는 데이터에 해당한다. 즉, 둘째 정의에 쪼갬의 데이터를 추가하면, 이는 첫째 정의와 동치이다. === 쪼갬을 통한 정의 === 위상 공간 주어졌다고 하자. 그렇다면, 위의 '''쪼갬을 갖춘 올범주''' 다음과 같은 데이터로 주어진다. 열린집합 대하여, 범주 열린집합 대하여, 함자 이를 '''제한 함자'''()라고 한다. 열린집합 대하여, 함자 사이의 자연 동형 이는 다음 조건을 만족시켜야 한다. :임의의 열린집합 대하여, 보다 일반적으로, 임의의 범주 주어졌다고 하자. 그렇다면, 위의 '''쪼갬을 갖춘 올범주'''는 다음과 같은 데이터로 주어진다. 대상 대하여, 범주 대상 사이의 사상 대하여, 함자 이를 '''제한 함자'''()라고 한다. 사상 대하여, 함자 사이의 자연 동형 이는 다음 조건을 만족시켜야 한다. :임의의 사상 대하여, === 데카르트 사상을 통한 정의 === ==== 데카르트 사상 ==== 함자 주어졌다고 하자. 사상 다음 보편 성질을 만족시킨다면, '''데카르트 )이라고 한다. :임의의 :* 사상 :* :에 대하여, 만약 라면, 이며 사상 유일하게 존재한다. :: ==== 올범주 ==== 함자 다음 조건을 만족시킨다면, '''올범주'''()라고 한다. 대상 속의 임의의 사상 대하여, 이며 대상 데카르트 사상 존재한다. *: 경우, 에서의 '''데카르트 올림'''()이라고 한다. 데카르트 올림은 보편 성질에 의하여 정의되므로, 이들은 만약 존재한다면 유일한 동형 사상 아래 유일하다. 올범주의 '''쪼갬'''(, )은 대하여 올림을 고르되, 만약 항등 사상일 항등 사상을 고른 것이다. 이는 선택 공리에 대하여 항상 존재한다. 이에 따라, 사상 대하여 함자 정의된다. 올범주 의, 대상 위의 '''올'''(, 원상과 사이의 사상들로 구성된, 부분 범주이다. ==== 올범주 사상 ==== 같은 밑범주를 갖는 올범주 사이의 '''사상'''은 다음 조건을 만족시키는 함자 이다. 조각 범주 사상이다. 즉, 다음과 같은 함자 가환 그림이 성립한다. *: 데카르트 사상의 상은 항상 데카르트 사상이다. 위의 (작은) 올범주와 올범주 사상의 범주를 라고 한다. == 성질 == === 합성 === 올범주의 합성은 역시 올범주를 이룬다. 작은 범주의 범주 에서, 다음과 같은 당김이 주어졌다고 하자. 만약 올범주라면 역시 올범주이다. 즉, 올범주성은 당김에 대하여 안정적이다. === 분해계 === 올범주 에서, 만약 위에 분해계 주어졌다고 하자. 그렇다면, 다음을 정의하자. 사상 가운데, 대한 상이 속하는 것들의 모임이다. 데카르트 사상 가운데, 대한 상이 속하는 것들의 모임이다. 그렇다면, 위의 분해계를 이룬다. 특히, 동형 사상의 모임이며, 모든 사상의 모임이라고 하자. 이는 자명하게 분해계를 이루며, 경우 모든 데카르트 사상의 모임이며 동형 사상의 원상의 모임이다. 따라서 (동형 사상의 원상, 데카르트 사상)은 올범주의 분해계를 이룬다. == 종류 == 모든 올이 준군을 이루는 올범주를 '''준군 올범주'''(準群-範疇, )라고 한다. 모든 올이 이산 범주(즉, 항등 사상 밖의 사상을 갖지 않는 범주)인 올범주를 '''이산 올범주'''()라고 한다. == == === 올범주 === 범주 주어졌다고 하자. 그렇다면, 곱범주 에서 (또는 )로 사영하는 함자 올범주를 이룬다. === 조각 범주 === 범주 속의 대상 대한 조각 범주 생각하자. 그렇다면, 사상을 정의역으로 대응시키는 망각 함자 이산 올범주를 이룬다. 대상 위의 올은 사상 모임 (이산 범주) 이다. 이는 사실 표현 가능 준층 그로텐디크 구성을 가한 것이다. === 공역 올범주 === 범주 모든 당김을 갖는다고 하자. 그렇다면, 화살표 범주 생각하자. 사상을 공역으로 대응시키는 함자 A&\overset f\to&B\\ {\scriptstyle k\\ C&\underset g\to&D (B\overset k\to D) 생각하자. 이는 올범주를 이루며, 사상 의, ()에서의 올림은 다음과 같은 (에서 가는 사상으로 간주한) 당김이다. === 그로텐디크 구성 === 작은 범주의 범주 가는 함자 주어졌을 때, 위의 '''그로텐디크 구성'''() 다음과 같이 정의하자. 대상 대상 대상 순서쌍이다. 사상 사상 사상 순서쌍이다. 그렇다면, 위의 올범주를 이룬다. 위의 올은 작은 범주 이다. ==== 가군 범주 ==== 범주 다음과 같이 정의하자. 대상 가환환 위의 가군 순서쌍이다. 사상 준동형 -가군 준동형 순서쌍이다. 그렇다면, 가환환 범주 위의 올범주를 이룬다. 가환환 위의 올은 -가군들의 범주 이다. 이는 가환환을 가군 아벨 범주로 대응시키는 함자 대한 그로텐디크 구성이다. 즉, 올범주의 올은 이다. === 준연접층 === 범주 다음과 같이 정의하자. 대상 스킴 위의 준연접층 순서쌍이다. 사상 스킴 사상 사상 순서쌍이다. 그렇다면, 스킴의 범주로 가는 망각 함자 올범주를 이룬다. 이는 스킴을 준연접층 아벨 범주로 대응시키는 함자 대한 그로텐디크 구성이다. 경우, 임의의 스킴 사상 대하여, 자연 동형 존재한다. (만약 위에 fpqc 위상을 부여한다면, 이는 스택을 이룬다.) ==== 원소 범주 ==== 모든 집합은 작은 이산 범주(모든 사상이 항등 사상인 범주)로 생각할 있다. 집합의 범주 가는 함자 주어졌을 때, 위의 '''원소 범주'''() 다음과 같이 정의하자. 대상 대상 원소 순서쌍이다. 사상 만족시키는 사상 이다. 그렇다면, 위의 이산 올범주를 이룬다. 위의 올은 (이산 범주로 간주한) 집합 이다. 원소 범주 구성은 함자 치역이 모두 작은 이산 범주일 때의, 그로텐디크 구성의 특수한 경우이다. ==== 부분 대상 범주 ==== 모든 부분 순서 집합은 작은 얇은 범주로 생각할 있다. 모든 당김을 갖는 작은 범주 대하여, 부분 순서 집합의 범주 가는 다음과 같은 함자를 생각하자. 여기서 부분 대상들의 부분 순서 집합이며, 단사 사상의 당김이다 (단사 사상은 당김에 의하여 보존된다). 이에 대하여 그로텐디크 구성을 가할 있으며, 이를 '''부분 대상 올범주''' 라고 한다. 구체적으로, 이는 다음과 같다. 대상 대상 부분 대상 순서쌍이다. 사상 만족시키는 -사상 이다. 이는 위의 올범주를 이루며, 위의 올은 이다. === 위상 함자 === 모든 위상 함자는 정의에 따라 올범주를 이룬다. 개념은 사상을 "원천"이라는 도형으로 일반화하여 얻으며, 경우 데카르트 사상은 "시작 원천"이라는 개념으로 일반화된다. === 올다발 === 올다발의 범주 생각하자. 대상은 올다발 이며, 사상은 다발 사상 이다. 경우, 밑공간으로 가는 망각 함자 올범주이다. 위상 공간 위의 올은 위의 올다발과, 밑공간에 대하여 항등 함수인 올다발 사상의 범주 이다. 함자의 쪼갬은 사상 대하여 올다발의 당김 함자 고르는 것에 대응한다. 마찬가지로, 벡터 다발의 범주 역시 위상 공간의 범주 위의 올범주 이룬다. 모든 위상 공간의 범주 대신, 위상 공간 열린집합들의 범주 생각하자. 그렇다면 마찬가지로 열린집합에 정의된 올다발 또는 벡터 다발의 범주의 망각 함자 역시 올범주를 이룬다. (이 함자에서, 밑범주를 위상 공간의 범주 또는 주어진 위상 공간의 열린집합의 범주 대신 다양체의 범주로 잡으면, 이는 이상 올범주가 아니다. 이는 다양체의 범주에서는 올곱이 존재하지 않기 때문이다.) === === 범주 다음과 같다고 하자. 대상은 순서쌍 이다. 여기서 위상 공간이며 위의 (집합 값의) 층이다. 사상 연속 함수 사상 주어진다. 만약 층을 에탈레 공간으로 생각할 경우, 이는 다음과 같은 가환 그림에 해당한다. *: 즉, 에탈레 공간 구성에 따라서 화살표 범주 부분 범주로 여길 있다. 그렇다면, 위상 공간으로 가는 망각 함자는 올범주를 이룬다. 경우 위상 공간 위의 올은 위의 층들의 범주 이다. 마찬가지로, 임의의 위상 공간 대하여, 열린집합의 범주 열린집합에 정의된 층의 범주 생각할 있다. 그렇다면 망각 함자 역시 올범주이다. 정의에서, 집합 값의 대신 군이나 아벨 군이나 환이나 가환환 (또는 일반적으로 대수 구조 다양체) 값의 층을 사용하여도 마찬가지다. == 역사 == 올범주는 《마리 대수기하학 세미나》 1권 (SGA1) 6장에서 도입되었다. 원래 SGA1에서는 "데카르트 사상"을 위의 정의보다 약하게 정의하였지만, 이후 강한 조건을 만족시키는 정의가 널리 쓰이게 되었다. (올범주의 정의는 데카르트 사상의 정의에 상관없이 동치이다.) == 참고 문헌 == == 외부 링크 == 분류:범주론