[논문 리뷰] A Universal Characterisation of Codescent Objects

Alexander S. Corner|arXiv (Cornell University)|2017. 09. 05.

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

한 줄 요약

이 논문은 이중적(2차원적) 일반화로서 외부준가환변환(extrapseudonatural transformations)을 도입하여 이중범주(bicategories)에서 코드세센트 객체(codescent objects)의 보편적 특성화를 제공한다. 적절한 조건 하에서 반복적 코드세센트 객체가 동치임을 보여주는 Fubini 정리를 증명함으로써, 이는 고차원 설정으로 일반화된 공통적(Fubini) 정리(coend Fubini theorems)의 일반화이다.

ABSTRACT

In this work we define a 2-dimensional analogue of extranatural transformation and use these to characterise codescent objects. They will be seen as universal objects amongst extrapseudonatural transformations in a similar manner in which coends are universal objects amongst extranatural transformations. Some composition lemmas concerning these transformations are introduced and a Fubini theorem for codescent objects is proven using the universal characterisation description.

연구 동기 및 목표

• 이중범주와 편의함수(pseudofunctors)를 사용하여 외부준가환변환(extranatural transformations)의 개념을 2차원 설정으로 확장하기.
• 코드세센트 객체를 특성화하는 기초 도구로서 외부준가환변환의 정의와 체계화하기.
• 외부준가환변환을 통한 공통적(coend)의 보편적 성질과 유사한 보편적 성질을 가진 이중코드세센트 객체(bicodescent objects)의 보편적 성질 확립하기.
• 반복적 코드세센트 구성이 적절한 조건 하에서 동치임을 보여주는 Fubini 유형 정리 증명하기.

제안 방법

• 편의함수와 가역적 2세포(invertible 2-cells)를 포함하는 약한 2차원 일반화로서 이중적외부준가환변환(extrapseudonatural transformations)을 도입하기.
• 외부준가환변환들 사이에서 보편적인 객체로서 이중코드세센트 객체를 정의함으로써 1차원 및 2차원 보편적 성질을 모두 포괄하기.
• 일관성 등식과 붙임 다이어그램(pasting diagrams)을 사용하여 외부준가환변환의 공리, 특히 가역적 2세포에 대한 EB2 공리 검증하기.
• 반복적 코드세센트 객체를 연결하는 일관성 세포의 복합을 구성함으로써, 공통적(코엔드-like) 구성의 순서를 바꿀 수 있음을 증명하기.
• 코드세센트 객체의 보편적 성질을 활용하여 복합 전환들이 요구되는 수반 동치(adjoint equivalence)를 만족함을 보여주기.
• Fubini 정리를 이중코드세센트 객체와 코드세센트 객체 양쪽에 적용하며, 코드세센트 객체가 더 강력한 유일성 조건을 만족함을 주목하기.

실험 결과

연구 질문

• RQ1 어떻게 외부준가환변환을 2-범주 설정으로 일반화하여 고차원 코일리미트를 묘사할 수 있는가?
• RQ2 이중범주에서 코드세센트 객체를 특성화하는 보편적 성질은 무엇이며, 이는 공통(coend)의 보편적 성질과 어떻게 유사한가?
• RQ3 반복적 코드세센트 구성의 교환 가능성을 보장하는 Fubini 정리를 코드세센트 객체에 대해 확립할 수 있는가?
• RQ4 반복적 코드세센트 객체들이 수반 동치 관계로 동치가 되기 위한 조건은 무엇인가?
• RQ5 이중코드세센트 객체와 코드세센트 객체는 보편적 성질과 일관성 측면에서 어떻게 관련되어 있는가?

주요 결과

• 외부준가환변환은 외부준가환변환의 2차원 해석으로 정의되며, 고차원 보편적 구성의 프레임워크를 제공한다.
• 이중코드세센트 객체는 외부준가환변환들 사이에서 보편적인 객체로 특성화되며, 1범주론에서의 공통(coend)의 역할을 일반화한다.
• 코드세센트 객체에 대한 Fubini 정리가 증명되었으며, ∫^a∫^b P(a,b,a,b) ≃ ∫^b∫^a P(a,b,a,b) 가 수반 동치를 통해 성립함을 보여준다.
• 이 동치는 가역적 2세포에 대한 EB2 공리를 만족하는 일관성 등식과 붙임 다이어그램의 복합을 통해 확립된다.
• 결과는 이중코드세센트 객체와 코드세센트 객체 양쪽에 적용되며, 코드세센트 객체는 더 강력한 유일성 조건을 만족한다.
• 증명는 코드세센트 객체의 보편적 성질과 편의함수의 일관성에 기반하여, 반복적 구성의 교환 가능성이 잘 정의됨을 보장한다.