[논문 리뷰] The Ehresmann-Schein-Nampooripad Theorem for Inverse Categories

Darien DeWolf, Dorette Pronk|arXiv (Cornell University)|2015. 07. 30.

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

한 줄 요약

이 논문은 애너지스만-샤인-남부프파드(Ehresmann-Schein-Nambooripad, ESN) 정리를 역 카테고리로 확장하여, 역 카테고리와 함의자들 사이의 동치를 확립한다. 이는 역 카테고리와 함의자들, 그리고 상대적으로 높은 국소적 인도적 군oids와 국소적 인도적 함의자들 사이의 동치를 수립한다. 또한 결과를 역 준카테고리와 올락 함의자들로 일반화하여 원래 ESN 정리의 범위를 더 넓은 범주론적 구조로 확장한다.

ABSTRACT

The Ehresmann-Schein-Nambooripad (ESN) Theorem asserts an equivalence between the category of inverse semigroups and the category of inductive groupoids. In this paper, we consider the category of inverse categories and functors -- a natural generalization of inverse semigroups -- and extend the ESN theorem to an equivalence between this category and the category of top-heavy locally inductive groupoids and locally inductive functors. From the proof of this extension, we also generalize the ESN Theorem to an equivalence between the category of inverse semicategories and the category of locally inductive groupoids and to an equivalence between the category of inverse categories with oplax functors and the category of top-heavy locally inductive groupoids and ordered functors.

연구 동기 및 목표

• 고전적인 에르레스만-샤인-남부프파드 정리를 역 반군에서 역 카테고리로 일반화하기.
• 역 카테고리와 함의자들 사이의 범주론적 동치를, 상대적으로 높은 국소적 인도적 군oids와 국소적 인도적 함의자들 사이의 동치로 수립하기.
• 동치를 역 준카테고리와 국소적 인도적 군oids로 확장하기.
• 올락 함의자가 일반화된 ESN 프레임워크에서 어떤 역할을 하는지 조사하기.
• 기존의 범주론적 및 반군 이론적 이중성 결과들을 통합하고 일반화하기.

제안 방법

• 범주론적 구조를 사용하여 역 반군의 자연스러운 일반화로서 역 카테고리를 체계화하기.
• 국소적 인도적 군oids의 일반화로서 상대적으로 높은 국소적 인도적 군oids의 개념을 도입하기.
• 이러한 군oids 사이의 국소적 인도적 함의자를 정의하여 등가성에 필요한 구조를 유지하기.
• 범주론적 이중성 기법을 사용하여 역 카테고리의 범주와 상대적으로 높은 국소적 인도적 군oids의 범주 사이의 동치를 구성하고 검증하기.
• 더 넓은 사상 유형을 포괄하기 위해 프레임워크를 올락 함의자들과 순서가 매겨진 함의자들로 확장하기.
• 원래 ESN 정리의 증명 구조를 새로운 범주론적 환경에 적용하여 함의자들과 자연 변환에 맞게 적응하기.

실험 결과

연구 질문

• RQ1 ESN 정리는 어떻게 역 반군에서 역 카테고리로 일반화될 수 있는가?
• RQ2 군oids 프레임워크에서 역 카테고리에 대응하는 범주론적 구조는 무엇인가?
• RQ3 등가성을 유지하기 위해 필요한 구조를 보존하는 함의자는 어떤 종류인가?
• RQ4 올락 함의자는 확장된 ESN 프레임워크에서 역 카테고리에 어떻게 통합되는가?
• RQ5 등가는 역 준카테고리와 순서가 매겨진 함의자들로까지 확장될 수 있는가?

주요 결과

• 역 카테고리와 함의자들 사이의 범주와 상대적으로 높은 국소적 인도적 군oids와 국소적 인도적 함의자들 사이의 동치가 확립되었다.
• 일반화된 ESN 정리는 역 준카테고리로 확장되어 국소적 인도적 군oids와의 동치를 보여준다.
• 프레임워크는 올락 함의자를 수용하여, 올락 함의자들과 순서가 매겨진 함의자들을 포함한 역 카테고리와 상대적으로 높은 국소적 인도적 군oids 사이의 동치를 이끌어낸다.
• 증명 기법은 원래 ESN 정리를 범주론적 함의자들과 자연 변환에 맞게 일반화하여 적용하였다.
• 결과는 기존의 역 반군 이론과 범주론에서의 이중성 결과들을 통합하고 확장한다.
• 상대적으로 높은 국소적 인도적 군oids의 구조는 범주론적 환경에서 역 카테고리의 본질적 성질을 잘 포착한다.