Loading AI tools
위키백과, 무료 백과사전
범주론에서 체(영어: sieve, 프랑스어: crible)는 주어진 대상을 향하는 일부 사상들을 골라 내는 구조이며, 추상적으로 표현 가능 준층의 부분 준층이다. 작은 범주 위에서, 모든 체들의 집합을 대응시키는 준층은 준층 토포스의 부분 대상 분류자를 이룬다. 체의 개념은 그로텐디크 위상을 정의할 때 사용된다.
범주 및 그 위의 대상 가 주어졌다고 하자. 그렇다면, 위의 체는 다음과 같이 두 가지로 정의할 수 있다.
"체"라는 용어는 체 가 로 향하는 특정 사상들을 마치 체로 치듯 골라 내기 때문이다.
국소적으로 작은 범주 위의 대상 위의 체 는 표현 가능 준층 의 부분 준층이다. 즉, 다음 성질을 만족시키는 준층 이다.
범주 위의 대상 위의 체는 다음 조건들을 만족시키는, 의 사상들의 모임 이다.
두 정의는 다음과 같이 대응된다.
추상적 정의 | 구체적 정의 |
---|---|
대상 에 대하여, | |
사상 에 대하여, |
여기서 은 사상의 정의역이다. 즉, 는 체에 속한 사상 가운데, 정의역이 인 사상들로 구성된 부분 모임이다.
대상 위의 체 및 사상 이 주어졌을 때, 의 당김(영어: pullback) 은 다음과 같은, 위의 체이다.
작은 범주 의 대상 에 대하여, 위의 모든 체들의 집합을 라고 하자. 그렇다면,
는 함자
를 이룬다. 즉, 는 위의 (집합 값의) 준층을 이룬다.
작은 범주 가 주어졌을 때, 그 체 준층 의 부분 준층 은 다음과 같은 데이터로 구성된다.
이는 다음 조건을 만족시켜야 한다.
이 조건은 그로텐디크 위상이 만족시키는 조건 가운데 하나이다.
작은 범주 가 주어졌다고 하자. 그 속의 대상 위의 체들의 집합 에 대하여, 그 교집합 과 합집합 역시 체를 이룬다. 의 최대 원소는 (즉, 표현 가능 준층 )이며, 최소 원소는 공집합 (즉, 공집합 값을 갖는 상수 함자)이다. 따라서, 는 포함 관계에 대하여 유계 완비 격자를 이룬다.
위치 가 주어졌을 때, 대상 위의 각 덮개체는 체를 이룬다.
같은 공역 을 갖는 사상들의 모임 가 주어졌다고 하자. 그렇다면, 이들을 포함하는 가장 작은 체 가 존재하며, 다음과 같다.
속의 임의의 사상 및 체 가 주어졌다고 하자. 그렇다면, 조각 범주 의 대상 위의 다음과 같은 체를 정의할 수 있다.
부분 순서 집합 는 작은 범주로 여길 수 있다. 이 경우, 원소 위의 체는 를 상계로 갖는, 하향 닫힘 부분 집합이다. 즉, 다음 조건을 만족시키는 부분 집합 이다.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.