[논문 리뷰] Relative injectivity as cocompleteness for a class of distributors

Maria Manuel Clementino, Dirk Hofmann|ArXiv.org|2008. 07. 25.

Homotopy and Cohomology in Algebraic Topology참고 문헌 9인용 수 8

한 줄 요약

이 논문은 $Φ$-분포사상의 클래스에 상대적인 $Φ$-cocompleteness를 도입함으로써, 부가적인 범주론에서의 단사성과 cocompleteness 사이의 이중성 관계를 일반화한다. $Φ$-cocompleteness는 $Φ$-사전구성 범주로의 양자 맵핑에 대한 좌측 수반의 존재성과 동치임을 증명하며, 이는 위상공간과 의미론적 도메인에 관한 결과들을 $Ρ$-강화된 설정에서 통합하고 확장한다.

ABSTRACT

Notions and techniques of enriched category theory can be used to study topological structures, like metric spaces, topological spaces and approach spaces, in the context of topological theories. Recently in [D. Hofmann, Injective spaces via adjunction, arXiv:0804.0326 [math.CV]] the construction of a Yoneda embedding allowed to identify injectivity of spaces as cocompleteness and to show monadicity of the category of injective spaces and left adjoints over $\mathsf{Set}$. In this paper we generalise these results, studying cocompleteness with respect to a given class of distributors. We show in particular that the description of several semantic domains presented in [M. Escardó and B. Flagg, Semantic domains, injective spaces and monads, Electronic Notes in Theoretical Computer Science 20 (1999)] can be translated into the $\mathsf{V}$-enriched setting.

연구 동기 및 목표

• 클래스 $Φ$의 분포사상에 의해 절대적 설정에서 상대적 설정으로 단사성과 cocompleteness 사이의 동치관계를 일반화하기.
• $Ρ$-범주와 위상이론을 통해 위상적 및 거리 유사 구조를 모델링하기 위해 강화된 범주론의 프레임워크를 확장하기.
• Escardó와 Flagg의 결과를 $Ρ$-강화된 설정에 통합함으로써, 단사 공간과 의미론적 도메인에 관한 결과를 회복하고 일반화하기.
• 주어진 임베딩 클래스에 대해 $Φ$-cocomplete $Ρ$-범주가 정확히 어떤 단사 $τ$-범주인지를 특성화하기.
• 분포사상과 가중 침묵합을 사용하여 위상이론에서 단사성과 완비성의 범주론적 기초를 마련하기.

제안 방법

• 강화된 $Ρ$-범주에서의 $Φ$-cocompleteness의 개념을 도입하며, 이는 $Φ$-사전구성 범주로의 양자 맵핑에 대한 좌측 수반의 존재성으로 정의된다.
• $Φ$-사전구성 범주를 모든 $Ρ$-분포사상의 범주에 대한 전부 서브범주로 구성한다.
• 양자 맵핑에 대한 좌측 수반의 존재성을 통해 $Φ$-cocompleteness를 특성화하기 위해 양자 맵핑의 레마와 가중 침묵합을 사용한다.
• $Φ$-밀도 있는 함자를, 완전히 충실하고 $Φ$-가중 극한을 보존하는 함수로 정의하며, 이는 일반화된 적절한 함수의 개념을 일반화한다.
• 일부 조건 하에서 $τ$-범주에서 $Ρ$-범주로의 忘却 함수에 대해 $Φ$-밀도 있는 함수가 최종적임을 증명한다.
• 특정 위상이론, 예를 들어 초필터와 단어 모나드에 이 프레임워크를 적용하여 기존의 단사 공간과 의미론적 도메인에 관한 결과를 회복한다.

실험 결과

연구 질문

• RQ1 $Ρ$-강화된 범주에서 분포사상의 클래스 $Φ$에 대해 cocompleteness를 어떻게 상대화할 수 있는가?
• RQ2 $Φ$-cocompleteness가 $τ$-범주에서 단사성과 일치하는 조건은 무엇인가?
• RQ3 Escardó와 Flagg의 의미론적 도메인과 단사 공간에 관한 결과들이 이 프레임워크를 통해 $Ρ$-강화된 설정에서 회복될 수 있는가?
• RQ4 $Φ$-밀도 있는 함수가 $τ$-범주의 $Φ$-cocompleteness와 최종성의 특성화에서 수행하는 역할은 무엇인가?
• RQ5 상위 원소, 쌍대텐서 또는 임의의 하한을 보존하는 등의 다양한 종류의 $Φ$-분포사상은 기존의 완비성 개념과 어떻게 관련이 있는가?

주요 결과

• $Φ$-사전구성 범주로의 양자 맵핑에 대한 좌측 수반의 존재성은 $Ρ$-범주의 $Φ$-cocompleteness와 동치이다.
• 임베딩의 클래스에 대해 단사적인 $τ$-범주는 정확히 $Φ$-cocomplete $Ρ$-범주이며, 이는 범주론적 이중성을 수립한다.
• 각 $Φ$-밀도 있는 $τ$-함수는 $τ$-범주에서 $Ρ$-범주로의 忘却 함수에 대해 최종적이다. 이는 적절함수의 개념을 일반화한다.
• $Φ$-가중 극한을 보존하는 $Φ$-분포사상의 집합은 모든 표현 가능하고 오른쪽 수반인 $Φ$-분포사상 포함한다.
• 상위 원소, 쌍대텐서 또는 임의의 하한을 보존하는 $Φ$의 특정 선택은 Escardó와 Flagg의 기존의 단사성 결과를 회복한다.
• 이 프레임워크는 $Ρ$-범주와 위상이론의 강화된 범주론적 설정에 통합함으로써, 이전의 단사 공간과 의미론적 도메인에 관한 결과들을 통합하고 일반화한다.