[논문 리뷰] Fibrations as Eilenberg-Moore algebras

Anders Kock|arXiv (Cornell University)|2013. 12. 05.

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

한 줄 요약

이 논문은 범주 𝔹 위의 opfibration이 특정 KZ 모나드에 대한 Eilenberg-Moore 대수들로 정확히 구성됨을 보이며, 모나드 대수를 통해 opfibration의 대수적 특성화를 제공한다. 이는 편의상 split opfibration이 엄격한 대수들과 대응됨을 보이고, 코카르티esian 화살표와 수반 관계의 보편 성질을 사용하여, 편의성 없는 2-범주론적 구조나 범주 값을 갖는 함자에 의존하지 않고 이 등가성을 도출한다.

ABSTRACT

We give an elementary exposition of some fundamental facts about fibered (or rather opfibered) categories, in terms of monads and 2-categories. The account avoids any mention of category-valued functors and pseudofunctors.

연구 동기 및 목표

• 편의성 없는 2-범주론적 특성화를 통해 모나드와 대수를 사용하여 opfibration을 기초적으로 기술하는 것.
• split opfibration이 Cat/𝔹 위의 KZ 모나드에 대한 엄격한 대수들로 정확히 구성됨을 보이는 것.
• 이 모나드에 대한 Eilenberg-Moore 대수와 opfibration 사이의 등가성을 코카르티esian 화살표의 보편 성질을 사용하여 수립하는 것.
• 특히 opfibration에 대한 분할의 존재성과 같은 기존 결과들을 KZ 모나드의 수반-내림 성질을 활용하여 구성적으로 증명하는 것.

제안 방법

• Cat/𝔹의 2-범주를 정의한다. 여기서 객체는 𝔹로 향하는 함자이며, 1-모르는 삼각형이 엄격히 교환되는 것으로, 2-모르는 수직 자연 변환으로 구성된다.
• 함자 π:𝒳→𝔹를 T(𝒳) = π↓𝔹로 보내는 KZ 모나드 T를 Cat/𝔹 위에 구성한다. 이때 y𝒳:𝒳→T(𝒳)는 단위로 작용한다.
• 코카르티esian 화살표의 보편 성질을 사용하여 y𝒳:𝒳→T(𝒳)의 왼쪽 수반 왼쪽 역함수 ξ:T(𝒳)→𝒳를 정의한다. 이 ξ가 존재하는 것은 π가 opfibration일 때 정확히 성립한다.
• 이러한 ξ의 존재성(수직 왼쪽 수반 왼쪽 역함수)이 T에 대한 Eilenberg-Moore 대수로서 π의 opfibration 성질을 특징짓는다.
• 정규화된 클레바지와 T(𝒳)의 표준 분할을 전이하여 ξ의 전체 상에 분할을 유도함으로써 split opfibration이 엄격한 대수들과 정확히 대응됨을 증명한다.
• K와 π̅ 사이의 수반 관계를 명시적으로 구성함으로써 lali(왼쪽 수반 왼쪽 역함수) 기준과 lari(왼쪽 수반 오른쪽 역함수) 기준 간의 등가성을 수립한다. 이때 핵심 자료는 단위 X▹a이다.

실험 결과

연구 질문

• RQ1 2-범주론적 맥락에서 모나드를 사용하여 opfibration을 어떻게 대수적으로 특성화할 수 있는가?
• RQ2 split opfibration과 Cat/𝔹 위의 KZ 모나드에 대한 엄격한 대수 사이의 정확한 관계는 무엇인가?
• RQ3 편의성 없는 2-범주론적 구조나 범주 값을 갖는 함자 없이도, 코카르티esian 화살표의 보편 성질로부터 고전적인 opfibration 개념을 유도할 수 있는가?
• RQ4 lali 기준과 lari 기준은 opfibration에 대해 어떻게 관련되어 있으며, 한 기준이 다른 기준으로 유도될 수 있는가?
• RQ5 모든 opfibration은 분할 가능한 opfibration과 2-범주적으로 등가한가? 만약 그렇다면, 이러한 분할은 어떻게 대수적으로 구성할 수 있는가?

주요 결과

• 함자 π:𝒳→𝔹가 opfibration일 조건은 KZ 모나드 T에 대한 Eilenberg-Moore 대수로 정의되며, 여기서 T(𝒳) = π↓𝔹이다.
• split opfibration은 정확히 KZ 모나드 T에 대한 엄격한 대수들로 구성되며, 분할은 정규화된 클레바지와 T(𝒳)의 표준 분할을 전이함으로써 유도된다.
• 수직 왼쪽 수반 왼쪽 역함수 ξ:T(𝒳)→𝒳가 y𝒳:𝒳→T(𝒳)의 단위에 대해 존재하는 것은 π가 opfibration임을 특징짓는다.
• 코카르티esian 화살표의 보편 성질은 단위 X▹a: X→a⁎(X)가 π̅:𝒳²→π↓𝔹에 대해 잘 정의된 왼쪽 수반을 유도함으로써 lari 수반 관계를 보장한다.
• K(X,a) = X▹a로 정의된 K:π↓𝔹→𝒳²의 왼쪽 수반을 구성함으로써, opfibration에 대한 lali 기준과 lari 기준 간의 등가성이 수립된다.
• 모든 opfibration은 2-범주론적으로 분할 가능한 opfibration과 등가이며, T(𝒳)의 표준 분할을 상속하는 T(𝒳)의 전체 상 부분범주를 구성함으로써 이를 보여준다.