지수 객체

Exponential object

수학에서, 특히 범주 이론에서, 지수 객체지도 객체집합 이론에서 함수 공간의 범주형 일반화다. 모든 유한한 제품과 지수적 객체를 가진 범주데카르트 폐쇄 범주라고 한다. 결합 제품이 없는 범주(상단의 하위 범주 등)는 여전히 지수 법칙을 가질 수 있다.[1][2]

정의

Let be a category, let and be objects of , and let have all binary products with . An object together with a morphism is an exponential object if for any object and morphism there is a unique morphism (ca다음 도표가 통용되도록 )의 전치(transpose)를 표시했다.

Universal property of the exponential object

This assignment of a unique to each establishes an isomorphism of hom-sets,

Y 이(가) 모든 객체 , Y 에 대해 존재한다면 in , then the functor defined on objects by and on arrows by 는 제품 - Y 에 대한 오른쪽 연결점이다 이러한 이유로 형태론 g을 지수 연결점이라고 부르기도 한다.[3]

등가 정의

또는 지수 객체는 방정식을 통해 정의할 수 있다.

  • 의 존재는 - 의 작동으로 보장된다
  • Commutativity of the diagrams above is guaranteed by the equality .
  • Uniqueness of is guaranteed by the equality .

보편적 재산

The exponential is given by a universal morphism from the product functor to the object . This universal morphism consists of an object and a morphism 화살표 .

집합 범주에서 지수 객체 Y Z는 모든 함수 의 집합이다[4] The map is just the evaluation map, which sends the pair to . For any map the map 의 커스터드 형식:

헤이팅 대수 는 모든 지수 물체를 가진 경계 격자일 뿐이다. Heyting 시사점, Y Z의 대체 표기법이다 위의 연결 결과는 시사점 → H :을(를) 만날 수 있는 적절한 장소( : → H : H 이 부속서는( - ) - ) Y 또는더 완전하게 다음과 같이 쓸 수 있다.

위상학적 공간 범주에서 국소적으로 컴팩트하우스도르프 공간인 객체Z Y {\ Z^{Y가 존재한다. 이 경우 공간 Y 는 콤팩트 오픈 토폴로지와 함께 에서 까지의 모든 연속 함수의 집합이다. 평가 지도는 집합의 범주에서와 동일하며, 위의 위상과 연속된다.[5] 이(가) 로컬 컴팩트 Hausdorff가 아닐 경우 지수 객체가 존재하지 않을 수 있다( Y Z 은 여전히 존재하지만 평가 함수가 연속적일 필요가 없으므로 지수 객체가 되지 않을 수 있다). 이러한 이유로 위상학적 공간의 범주는 데카르트적으로 닫히지 않는다. 그러나 Z 로컬 소형 공간에 대해 로컬로 압축할 필요가 없으므로 로컬 소형 위상학적 공간의 범주도 카트리지어 닫히지 않는다 를 들어 카트리지어 닫힌 공간의 범주는 t에 의해 확장된 전체 하위 범주에 의해 주어진다.그는 하우스도르프 공간을 압축적으로 만들었다.

기능 프로그래밍 언어에서 형태론 (를) 적용{\\}이라고 하며 구문 gg}은 로 쓰는 경우가 많다 여기에서모피즘 평가{\displaystyle \operatorname{심리 검사}}은(는)인용된 식을 평가하는 일부 프로그래밍 언어의 평가 함수와 혼동해서는 안 된다.

참고 항목

메모들

  1. ^ nLab공간에 대한 지수 법칙
  2. ^ nLab에서 위상학적 공간의 편리한 범주
  3. ^ Goldblatt, Robert (1984). "Chapter 3: Arrows instead of epsilon". Topoi : the categorial analysis of logic. Studies in Logic and the Foundations of Mathematics #98 (Revised ed.). North-Holland. p. 72. ISBN 978-0-444-86711-7.
  4. ^ Mac Lane, Saunders (1978). "Chapter 4: Adjoints". categories for the working mathematician. graduate texts in mathematics. 5 (2nd ed.). Springer-Verlag. p. 98. doi:10.1007/978-1-4757-4721-8_5. ISBN 978-0387984032.
  5. ^ Joseph J. Rotman, 대수적 위상에 대한 소개 (1988) 스프링거-Verlag ISBN 0-387-96678-1 (증거는 11장 참조)

참조

외부 링크