[논문 리뷰] Exponentiability via Double Categories

Susan Niefield|arXiv (Cornell University)|2011. 12. 06.

Computability, Logic, AI Algorithms참고 문헌 13인용 수 4

한 줄 요약

이 논문은 이중 범주와 느슨한 함자들을 활용하여, 소형 범주, 위상공간, 로컬, 부분순서집합 등의 다양한 범주에서 지수 가능 사상(exponentiable morphisms)을 통합적으로 기술한다. 이는 소형 범주 B 위의 절단 범주(Cat/B)에서 사상이 지수 가능할 조건을, B에서 이중 범주로의 정규 느슨한 함자(정규 느슨한 함자)가 추가 조건을 만족하는 준수 함자(pseudo-functor)임과 동치임을 증명함으로써, 범주론과 위상수학에서 알려진 결과를 일반화한다.

ABSTRACT

We use double categories to obtain a single theorem characterizing certain exponentiable morphisms of small categories, topological spaces, locales, and posets.

연구 동기 및 목표

• 이중 범주 Cat에 대한 느슨한 함자와 절단 범주 Cat/B 사이의 알려진 동치관계를 더 넓은 범위의 이중 범주로 일반화하기 위해.
• 소형 범주 B 위의 절단 범주에서 지수 가능 사상의 특성을 대응하는 정규 느슨한 함자의 성질로 기술하기 위해.
• 이중 범주를 이용해 지수 가능 공간, 함자, 부분순서집합에 대한 기존의 기술들을 통합적인 범주론적 프레임워크로 통합하기 위해.
• 소형 범주의 결과를 위상공간, 로컬, 부분순서집합으로 확장하기 위해 동일한 구조적 기준을 적용하기 위해.

제안 방법

• 소형 범주 B에서 이중 범주 $ \bbD $로의 수직 정규 느슨한 함자 $ \text{Lax}_N(B, \bbD) $의 범주를 정의하며, 수평 느슨한 변환으로 주어진 사상들을 포함한다.
• 이중 범주 Cat에 대한 느슨한 함자와 절단 범주 Cat/B 사이의 알려진 동치관계를, 위상적 및 순서론적 구조를 모델링하는 이중 범주들로 일반화한다.
• Street가 증명한 linh에 따라, $ \text{Cat}/B $에서의 지수 가능성은 대응하는 느슨한 함자가 준수 함자임과 동치임을 이용한다.
• 수직 사상 $ X \to B $에 대해 항상 성립하는 추가 조건을 느슨한 함자에 도입함으로써, $ \bbD_0/B $에서의 지수 가능성의 특성을 기술한다.
• 특정 이중 범주인 $ \bb{Cat} $, $ \bb{Top} $, $ \bb{Loc} $, $ \bb{Poset} $에 일반화된 기준을 적용하여, 지수 가능성에 대한 통합 조건을 도출한다.
• 스코트 위상, 특성 순서, 국소 컴actness 등의 성질을 활용하여, 위상적 및 순서론적 환경에서 추가 조건이 성립함을 검증한다.

실험 결과

연구 질문

• RQ1 이중 범주 $ \bbD $에 대해 절단 범주 $ \bbD_0/B $에서 사상 $ Y \to B $가 지수 가능해지기 위한 조건은 무엇인가?
• RQ2 범주 $ \text{Cat}/B $에서 사상의 지수 가능성은 대응하는 정규 느슨한 함자 $ B \to \bb{Cat} $의 구조를 통해 어떻게 기술할 수 있는가?
• RQ3 이중 범주를 이용해 $ \text{Cat}/B $에서의 지수 가능 함자 기술을 위상공간 및 로컬과 같은 다른 범주로 확장할 수 있는가?
• RQ4 준수 함자 성질 외에, $ \bbD_0/B $에서의 지수 가능성 보장에 필요한 추가적인 구조적 조건은 무엇이며, 이는 다양한 이중 범주 간에 어떻게 다를 수 있는가?
• RQ5 이중 범주와 느슨한 함자를 통해, 다양한 수학적 범주에서 지수 가능 사상의 기술을 통합하는 단일 범주론적 프레임워크가 존재하는가?

주요 결과

• 사상 $ Y \to B $가 $ \bbD_0/B $에서 지수 가능할 조건은, 대응하는 정규 느슨한 함자 $ B \to \bbD $가 준수 함자이면서, 모든 $ X \to B $에 대해 성립하는 추가 조건을 만족할 때이다.
• 이 기술은 Street의 결과를 일반화한다. 즉, $ \text{Cat}/B $에서의 지수 가능성은 느슨한 함자가 준수 함자임과 정확히 동치이다.
• 이중 범주 $ \bb{Top} $에서는, 사상 $ Y \to B $가 지수 가능할 조건은 대응하는 느슨한 함자가 준수 함자이면서, 모든 $ b \to c $에 대해 $ Y_b \to Y_c $가 이중 연속적(doublely continuous)임과 동치이다.
• 이중 범주 $ \bb{Loc} $에서는, 사상 $ Y \to B $가 지수 가능할 조건은 느슨한 함자가 준수 함자이면서, 모든 $ Y_b \to Y_c $가 이중 연속적임과 동치이다.
• 이 결과는 동일한 구조적 기준을 바탕으로 $ \text{Cat}/B $, $ \text{Top}/B $, $ \text{Loc}/B $, $ \text{Poset}/B $에서의 지수 가능 사상에 대한 동시에 통합된 특성을 제공한다.
• 위상적 및 순서론적 환경에서 $ \bbD_0/B $에서의 지수 가능성에 필요한 추가 조건은, 관련 열린 집합의 프레임에서의 스코트 위상과 국소 컴팩트성의 성질을 활용해 검증된다.