[논문 리뷰] 'Hausdorff distance' via conical cocompletion

Isar Stubbe|ArXiv.org|2009. 03. 16.

Homotopy and Cohomology in Algebraic Topology참고 문헌 13인용 수 10

한 줄 요약

이 논문은 양자론적 콤파커티에 의해 강화된 범주에서 포화된 가중치의 클래스가 자유 코완만드의 KZ-도ctr린의 전체 부분-KZ-도르린과 정확히 일치함을 밝힌다. 특히, 원형 가중치는 이러한 클래스를 이룬다. 이로 인해 유도된 KZ-도르린은 양자론적 콤파커티에 의해 강화된 범주로 일반화된 메트릭 거리의 개념을 정립하는 데 있어, 강화된 코일리미트와 수반 조건을 통해 범주론적 기반을 제공한다.

ABSTRACT

In the context of quantaloid-enriched categories, we explain how each saturated class of weights defines, and is defined by, an essentially unique full sub-KZ-doctrine of the free cocompletion KZ-doctrine. The KZ-doctrines which arise as full sub-KZ-doctrines of the free cocompletion, are characterised by two simple "fully faithfulness" conditions. Conical weights form a saturated class, and the corresponding KZ-doctrine is precisely (the generalisation to quantaloid-enriched categories of) the Hausdorff doctrine of [Akhvlediani et al., 2009].

연구 동기 및 목표

• 양자론적 콤파커티에 의해 강화된 범주에서 포화된 가중치의 클래스를 자유 코완만드 KZ-도르린의 전체 부분-KZ-도르린을 통해 특성화하기.
• KZ-도르린이 전체 부분-KZ-도르린으로 나타나기 위한 필요 및 충분조건을 두 가지 '충실성' 성질로 표현하기.
• 원형 가중치가 포화된 클래스를 이룬다는 것을 보여주고, 이를 통해 일반화된 하우스도르프 도르린을 도출하기.
• 메트릭 공간을 초월한 강화된 범주론에서 하우스도르프 거리 구성의 범주론적 틀을 제공하기.
• 이 작업에서는 다루지 않았지만, 인비올루티브 양자론적 콤파커티에서 그로모프 거리로의 확장을 위한 기초를 마련하기.

제안 방법

• 양자론적 콤파커티에 의해 강화된 범주에서의 코완만드 과정을 특성화하기 위해 KZ-도르린 이론과 그 전체 부분-KZ-도르린을 활용한다.
• 각 클래스가 강화된 코일리미트의 보편 성질을 통해 유일한 KZ-도르린을 정의하는 포화된 가중치 클래스의 개념을 적용한다.
• 양자론적 콤파커티에 의해 강화된 범주의 2-범주에서 수반 조건을 활용하여, 관련 KZ-도르린을 특성화하는 데 사용되는 '충실성' 성질을 정의한다.
• 원형 코완만드의 일반적 프레임워크를 적용하여, 원형 가중치가 KZ-도르린을 생성함을 보여주며, 이는 하우스도르프 도르린과 동형임을 보인다.
• 좌측 수반 성분을 갖는 분포자(분포)는 카우치 예비층과 대응하고, 이러한 예비층의 집합이 포화되어 있음을 증명한다.
• 자유 코완만드의 보편 성질과 양자론적 콤파커티에서의 sup-격자 구조를 활용하여, 포화된 클래스와 KZ-도르린 간의 대응을 유도한다.

실험 결과

연구 질문

• RQ1 양자론적 콤파커티에 의해 강화된 범주에서 어떤 KZ-도르린이 자유 코완만드 KZ-도르린의 전체 부분-KZ-도르린으로 나타나는가?
• RQ2 양자론적 콤파커티에 의해 강화된 범주에서 포화된 가중치 클래스는 KZ-도르린을 통해 어떻게 특성화될 수 있는가?
• RQ3 강화된 범주에서 하우스도르프 거리의 범주론적 구조는 무엇이며, 메트릭 공간을 초월해 어떻게 일반화될 수 있는가?
• RQ4 원형 가중치 구성이 포화된 클래스를 정의함을 어떻게 보일 수 있으며, 어떤 KZ-도르린을 생성하는가?
• RQ5 양자론적 콤파커티에 의해 강화된 범주에서 KZ-도르린이 본질적 구조를 유지하는 의미에서 '충실성'을 갖는 데 필요한 조건은 무엇인가?

주요 결과

• 양자론적 콤파커티에 의해 강화된 범주에서 각 포화된 가중치 클래스는 자유 코완만드 KZ-도르린의 본질적으로 유일한 전체 부분-KZ-도르린으로 정의되며, 그 역도 성립한다.
• 자유 코완만드 KZ-도르린의 전체 부분-KZ-도르린으로 나타나는 KZ-도르린은 그 성분에 대해 두 가지 단순한 '충실성' 조건으로 특성화된다.
• 원형 가중치의 집합은 포화되어 있으며, 이에 대응하는 KZ-도르린은 이전에 교환 법칙을 만족하는 콤파커티에 대해 정의된 하우스도르프 도르린을 일반화한다.
• 결과적으로 유도된 하우스도르프 KZ-도르린은 원형 가중치 클래스로 제한되었을 때 각 범주를 그 카우치 완비화로 보낸다. 이는 강화된 범주론에서 알려진 구성과 일치한다.
• 이 프레임워크는 일반화된 메트릭 설정에서 하우스도르프 거리의 범주론적 기반을 제공하며, 라브레르의 메트릭 공간 강화를 양자론적 콤파커티에 의해 강화된 범주로 확장한다.
• 논문은 포화된 클래스로부터 KZ-도르린을 유도하는 일반적 메커니즘을 수립하였으며, 원형 가중치가 핵심 예시로서 기능한다. 또한 인비올루티브 콤파커티에서 그로모프 거리를 동일한 프레임워크 내에서 개발할 수 있음을 시사한다.