신경 (범주론)

위키백과, 우리 모두의 백과사전.
이동: 둘러보기, 검색

범주론에서, 신경(神經, 영어: nerve)은 작은 범주로부터 구성되는 단체 집합이다.

정의[편집]

신경작은 범주 · 함자 · 자연 변환2-범주 에서 단체 집합 · 단체 집합 사상 · 단체 집합 호모토피2-범주 로 가는 함자이다.

즉, 신경 함자는 다음과 같은 대응을 정의한다.

단체 집합의 2-범주에서 위상 공간2-범주로 가는 기하학적 실현 함자

또한 존재한다. 신경과 기하학적 실현을 합성한 함자를 분류 공간(영어: classifying space) 함자라고 한다.

신경은 추상적으로 간단히 정의할 수 있으며, 추상적 정의를 구체적으로 길게 풀어서 정의할 수도 있다.

추상적 정의[편집]

작은 범주 가 주어졌다고 하자. 단체 범주 유한 전순서 집합과 순서 보존 함수의 범주이다. 모든 전순서 집합은 (보다 일반적으로, 모든 부분 순서 집합은) 가는(영어: thin) 작은 범주로 생각할 수 있다.

함자 를 다음과 같이, 전순서 집합에서 로 가는 함자들의 집합으로 정의하자.

이러한 꼴의 함자는 단체 집합이라고 한다. 단체 집합 신경이라고 한다. 정의에 따라, 신경은 작은 범주의 범주에서 단체 집합의 범주로 가는 함자

를 이룬다.

구체적 정의[편집]

신경의 추상적인 정의는 구체적으로 다음과 같이 풀어 쓸 수 있다.

작은 범주 가 주어졌다고 하자. 그렇다면, 각 자연수 에 대하여 집합 을 다음과 같은, 합성이 가능한 -사상들의 열

들의 집합이라고 하자. (특히, 은 단순히 의 대상의 집합이며, 은 단순히 의 사상의 집합이다.)

또한, 각 양의 정수 및 자연수 에 대하여 함수 를 다음과 같이, 번째 대상을 생략하는 함수로 정의하자.

또한, 각 자연수 및 자연수 에 대하여 함수 를 다음과 같이, 번째 대상을 반복하며 그 사이에 항등 사상을 삽입하는 함수로 정의하자.

그렇다면 단체 집합을 이룬다. 이를 작은 범주 신경 이라고 한다.

성질[편집]

신경 함자 충실충만한 함자이다.

단체 집합 에 대하여, 다음 두 조건이 서로 동치이다.

  • 작은 범주 가 존재한다.
  • 끝 대상으로 가는 유일한 사상 은 모든 내부 뿔 포함 사상 (, )에 대하여 오른쪽 유일 올림 성질을 만족시킨다.

단체 집합 에 대하여, 다음 두 조건이 서로 동치이다.

  • 준군 가 존재한다.
  • 끝 대상으로 가는 유일한 사상 은 모든 뿔 포함 사상 (, )에 대하여 오른쪽 유일 올림 성질을 만족시킨다.

작은 범주 에 대하여 다음 세 조건이 서로 동치이다.

  • 준군이다.
  • 칸 복합체이다. 즉, 끝 대상으로 가는 유일한 사상 은 모든 뿔 포함 사상 (, )에 대하여 오른쪽 올림 성질을 만족시킨다.
  • 끝 대상으로 가는 유일한 사상 은 모든 뿔 포함 사상 (, )에 대하여 오른쪽 유일 올림 성질을 만족시킨다.

위상 공간 에 대하여 다음 두 조건이 서로 동치이다.

  • 단체 집합 가 존재한다.
  • 작은 범주 가 존재한다.

[편집]

이산 위상을 부여한 분류 공간 를 정의할 수 있다.

는 하나의 대상만을 갖는 작은 범주로 여길 수 있다. 그렇다면, 범주로서 의 분류 공간은 이산 위상군으로서의 분류 공간호모토피 동치이다.

외부 링크[편집]