[논문 리뷰] On pointwise Kan extensions in double categories

Seerp Roald Koudenburg|arXiv (Cornell University)|2014. 02. 02.

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

한 줄 요약

이 논문은 이중 범주에서 점별 칸 확장의 통합적 개념을 제안하여 두부크의 증강 범주 접근법과 스트리트의 2-범주 정의를 일반화한다. 장비에서의 opcartesian 표본화를 활용함으로써, 점별 칸 확장을 일반 칸 확장과 함께 표본화된 유사중첩 구조를 통해 특성화함으로써, 두 고전적 개념을 조율하고 증강 및 내부 범주로의 적용 가능성을 확장한다.

ABSTRACT

In this paper we consider a notion of pointwise Kan extension in double categories that naturally generalises Dubuc's notion of pointwise Kan extension along enriched functors. We show that, when considered in equipments that admit opcartesian tabulations, it generalises Street's notion of pointwise Kan extension in 2-categories.

연구 동기 및 목표

• 증강 범주에서 두부크의 점별 칸 확장 개념을 2-범주에서 스트리트의 정의와 조율하기 위해.
• 2-범주를 초월하여 일반적인 이중 범주로 점별 칸 확장 개념을 확장하기 위해.
• 장비에서 opcartesian 표본화를 갖는 점별 칸 확장을 일반 칸 확장으로 정의할 수 있는 프레임워크를 수립하기 위해, 스트리트의 중첩 객체 구성과 유사하게.
• 그러한 장비에서 얻어진 개념이 장비의 수직 2-범주에서 스트리트의 2-범주적 점별 칸 확장을 회복함을 보여주기 위해.

제안 방법

• 점별 칸 확장을 일반화하는 점근적 세포의 개념을 사용하여 이중 범주에서 새로운 정의를 제안한다. 이는 함자 범주에서의 정확한 사각형을 일반화한다.
• 점별 칸 확장을 정의하는 세포의 클래스를 유지하는 전조작이 성립하는 세포로 '정확한 세포'를 정의하고 연구한다.
• 장비에서의 opcartesian 표본화 개념을 활용하여 2-범주적 중첩 객체 구성의 일반화를 수행한다.
• 모든 opcartesian 표본화를 갖는 장비에서는 점별 칸 확장이 일반 칸 확장으로 특성화될 수 있음을 보이며, 스트리트의 2-범주적 정의와 유사하게 구성된다.
• 적절한 범주 E 내부의 내부 범주에 대해 이 프레임워크를 적용하여, 이러한 장비가 모든 opcartesian 표본화를 갖는다는 것을 증명한다.
• 프로파일러의 표본화의 보편 성질을 사용하여 '유사중첩' 구조 ⟨J⟩의 내부 범주적 구조를 구성한다.

실험 결과

연구 질문

• RQ1 두부크의 증강 범주에서의 점별 칸 확장 개념을 수직 2-범주에서 스트리트의 2-범주적 정의를 회복할 수 있도록 이중 범주로 일반화할 수 있는가?
• RQ2 이중 범주에서 점별 칸 확장이 중첩 객체의 일반화를 통해 일반 칸 확장으로 정의될 수 있도록 하기 위한 조건은 무엇인가?
• RQ3 이중 범주에서의 정확한 세포는 함자 범주에서의 고전적 정확한 사각형 개념과 어떻게 관련이 있는가?
• RQ4 적절한 범주 E 내부의 범주로 이루어진 장비는 opcartesian 표본화를 모두 갖는가? 이는 새로운 점별 칸 확장 정의를 뒷받침하는가?
• RQ5 새로운 이중 범주적 프레임워크는 다양한 범주적 맥락에서 기존의 점별 칸 확장 개념을 통합할 수 있는가?

주요 결과

• 이 논문은 opcartesian 표본화를 모두 갖는 장비에서는 점별 칸 확장이 일반 칸 확장으로 정의될 수 있음을 입증하며, 스트리트의 2-범주적 구성으로 일반화한다.
• 이중 범주에서 제안된 점별 칸 확장 개념은 장비의 수직 2-범주로 제한할 경우 스트리트의 정의를 회복한다.
• 적절한 범주 E 내부의 범주로 이루어진 장비는 모든 opcartesian 표본화를 갖는다. 따라서 새로운 프레임워크를 뒷받침한다.
• 내부 변환 π: ⟨J⟩ → J의 보편 성질이 1차원 및 2차원 보편 성질을 모두 만족함을 보였다.
• 세포 π가 opcartesian임을 증명하였으며, 이는 표본화를 통한 점별 칸 확장의 특성화에 필수적이다.
• ⟨J⟩를 내부 범주로 구성하기 위해 소스, 타겟, 곱셈, 단위 사상들을 정의하였으며, π가 내부 범주적 구조와 호환됨을 보였다.