[논문 리뷰] Tight spans, Isbell completions and semi-tropical modules

Simon Willerton|arXiv (Cornell University)|2013. 02. 18.

Homotopy and Cohomology in Algebraic Topology참고 문헌 19인용 수 22

한 줄 요약

이 논문은 일반화된 거리 공간의 Isbell 완비화와 Hirai 및 Koichi의 방향성 있는 타이트 스펜 사이의 범주론적 동치를 수립하며, Isbell 완비화가 강화된 범주론적 의미에서 완비이자 코완비임을 보여준다. 또한 Isbell 완비화가 두 가지 서로 다른 반열대 모듈러 구조를 지닌다는 것을 입증하여, 범주론적 완비성과 열대 대수적 구조 사이의 연결 고리를 확립한다.

ABSTRACT

In this paper we consider the categorical Isbell completion construction for generalized metric spaces in the sense of Lawvere. We show that this is an analogue of the tight span construction of classical metric spaces, and that the Isbell completion coincides with the directed tight span of Hirai and Koichi. The notions of categorical completion and cocompletion are related to the existence of semi-tropical module structure, and it is shown that the Isbell completion (hence the directed tight span) has two different semi-tropical module structures.

연구 동기 및 목표

• 일반화된 거리 공간에서 타이트 스펜 구성법을 강화된 범주론의 시각으로 이해하기 위해.
• 일반화된 거리 공간에 대해 Isbell의 완비화 구성법을 통해 타이트 스펜의 범주론적 동치를 수립하기 위해.
• 범주론적 완비성(극한과 쌍극한)과 반열대 모듈러 구조 사이의 연결 고리를 탐색하기 위해.
• Isbell 완비화가 완비이자 코완비임을 보여주어 반열대 모듈러 작용을 지원함을 입증하기 위해.
• 고전적 거리 공간 구성법을 강화된 범주론적 도구, 특히 가중 극한과 쌍극한의 맥락에서 통합하기 위해.

제안 방법

• 거리가 대칭이 없고 비음수 확장 실수인 [0,∞]-강화 범주로 일반화된 거리 공간을 수식화한다.
• X 위의 프리샤프와 옵코프리샤프 사이의 Isbell 수반을 통해 고정된 집합으로서 Isbell 완비화 I(X)를 정의한다.
• I(X)의 점들을 duality 조건 f(x) + g(y) ≥ d(x,y) 및 f(x) + g(x) ≥ 0 를 만족하는 함수 f,g: X→[0,∞]의 쌍 (f,g)로 표현한다.
• X → X̂로의 Yoneda 임bedding Y를 정의하여 X를 프리샤프의 범주 X̂에 통합하고, 재구성 사상 RL: X̂ → I(X)를 구성한다.
• 강화된 범주론에서 가중 극한과 쌍극한을 적용하여 범주론적 완비성과 코완비성을 정의한다.
• 프리샤프 측면과 옵코프리샤프 측면에서의 작용을 통해 Isbell 완비화가 반열대 모듈러 구조를 상속함을 보인다.

실험 결과

연구 질문

• RQ1 일반화된 거리 공간의 Isbell 완비화는 고전적 타이트 스펜 구성법과 어떻게 관련이 있는가?
• RQ2 강화된 범주론에서의 완비성과 코완비성 개념은 반열대 대수적 구조와 어떻게 연결될 수 있는가?
• RQ3 일반화된 거리 공간의 Isbell 완비화는 반열대 모듈러 구조를 지닐 수 있는가, 만약 그렇다면 몇 가지가 있는가?
• RQ4 가중 쌍극한과 극한은 Isbell 완비화를 이중완비화로 특징짓는 데 어떤 역할을 하는가?
• RQ5 Yoneda 임bedding은 Isbell 완비화 맥락에서 범주론적 연속성과 코연속성과 어떻게 상호작용하는가?

주요 결과

• 일반화된 거리 공간 X의 Isbell 완비화 I(X)는 Hirai 및 Koichi의 방향성 있는 타이트 스펜과 등거리이며, 이는 범주론적 동치를 수립한다.
• Isbell 완비화는 강화된 범주론적 의미에서 완비이자 코완비이며, 모든 가중 극한과 쌍극한이 존재함을 의미한다.
• Yoneda 임bedding X → I(X)는 연속성과 코연속성을 모두 만족하므로, I(X)가 X의 이중완비화임을 확인한다.
• Isbell 완비화는 두 가지 서로 다른 반열대 모듈러 구조를 지닌다: 프리샤프 측면에서의 하나와 옵코프리샤프 측면에서의 하나.
• I(X) 위의 거리 반열대 작용은 옵코프리샤프 공간 위에서 반열대 반군의 작용으로 유도된다.
• 골격화된 일반화된 거리 공간에 대해, 유한 완비성은 거리 반열대 모듈러 구조의 존재와 동치이다.