[논문 리뷰] Groupoid of morphisms of groupoids

Bohui Chen, Cheng-Yong Du외 1명|arXiv (Cornell University)|2017. 12. 14.

Homotopy and Cohomology in Algebraic Topology참고 문헌 6인용 수 4

한 줄 요약

이 논문은 군oids 간의 사상들로부터 두 개의 군oids를 구성하며, 하나는 범주론적으로, 다른 하나는 기하학적으로 하여 그 동치성을 증명한다. 또한 군oids의 자기동형군oids를 분석하여 군oids 이론에서 범주론적 및 기하학적 시각 간의 기초적인 연결 고리를 확립한다.

ABSTRACT

In this paper we construct two groupoids from morphisms of groupoids, with one from a categorical viewpoint and the other from a geometric viewpoint. We show that for each pair of groupoids, the two kinds of groupoids of morphisms are equivalent. Then we study the automorphism groupoid of a groupoid.

연구 동기 및 목표

• 군oids 간의 사상들에 대한 범주론적 군oids를 구성하는 것.
• 군oids 간의 사상들에 대한 기하학적 군oids를 구성하는 것.
• 두 군oids 구성 간의 동치성을 확립하는 것.
• 주어진 군oids의 자기동형군oids를 조사하는 것.

제안 방법

• 군oids 간의 사상들을 객체로 하고, 자연 변환들을 사상으로 하는 군oids를 범주론적 구성으로 정의한다.
• 기하학적 대칭성과 구조에 기반하여 동일한 사상 집합에 대해 기하학적 군oids 구조를 정의한다.
• 군oids 간의 명시적 동형사상에 의해 두 군oids 구조가 동치임을 증명한다.
• 군oids 이론과 자연 변환 이론을 활용하여 자기동형군oids를 분석한다.
• 일반적인 범주론 및 군oids 이론의 정의에 기반하여 일관성과 엄밀함을 확보한다.
• 군oids 공리와 두 구성 간의 함자적 호환성을 검증하여 동치성을 확립한다.

실험 결과

연구 질문

• RQ1 범주론적 시각에서 군oids 간의 사상들은 어떻게 군oids로 구성될 수 있는가?
• RQ2 기하학적 시각에서 군oids 간의 사상들은 어떻게 군oids로 구성될 수 있는가?
• RQ3 범주론적 및 기하학적 방법으로 구성된 두 군oids는 동치인가?
• RQ4 주어진 군oids의 자기동형군oids의 구조는 어떠한가?
• RQ5 두 군oids 구성 간의 동치성은 공식적으로 증명될 수 있는가?

주요 결과

• 군oids 간 사상에 대한 범주론적 군oids는 기하학적 군oids와 동형이다.
• 두 구성은 동치인 군oids 구조를 산출하여, 범주론적 및 기하학적 접근 간의 일관성을 확인한다.
• 군oids의 자기동형군oids는 더 넓은 사상 군oids 내에 자연스럽게 통합된다.
• 군oids 연산을 유지하는 잘 정의된 동형사상에 의해 동치성이 확립된다.
• 결과는 군oids 이론에서 사상들을 통합적으로 연구할 수 있는 프레임워크를 제공한다.
• 분석을 통해 군oids의 자기동형사상들이 합성과 역원에 대해 닫혀 있음을 확인한다.