[논문 리뷰] Lax Distributive Laws for Topology, I

Walter Tholen|arXiv (Cornell University)|2016. 03. 20.

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

한 줄 요약

이 논문은 소량의 양자로드 Q에 대한 이산 프레시피 모나드의 위에 모나드 T에 대한 느슨한 분배 법칙을 통해 모나드-양자로드-풍부화된 범주를 도입하며, 이러한 느슨한 분배 법칙과 Q 위의 이산 프레시피에 대한 느슨한 Eilenberg-Moore T-대체 구조 사이에 갈로와 대응을 수립한다. 주요 기여는 대수적 성질과 왼쪽-손바닥 조작 성질을 통한 최소 느슨한 모나드 확장의 특성화로, 이는 호프만의 자연스러운 위상 이론을 양자로드로 일반화하고, 위상, 거리, 순서 구조를 하나의 범주론적 프레임워크 아래 통합한다.

ABSTRACT

For a quantaloid $\mathcal{Q}$, considered as a bicategory, Walters introduced categories enriched in $\mathcal{Q}$. Here we extend the study of monad-quantale-enriched categories of the past fifteen years by introducing monad-quantaloid-enriched categories. We do so by making lax distributive laws of a monad $\mathbb{T}$ over the discrete presheaf monad of the small quantaloid $\mathcal{Q}$ the primary data of the theory, rather than the lax monad extensions of $\mathbb{T}$ to the category of $\mathcal{Q}$-relations that they equivalently describe. The central piece of the paper establishes a Galois correspondence between such lax distributive laws and lax Eilenberg-Moore $\mathbb{T}$-algebra structures on the set of discrete presheaves over the object set of $\mathcal{Q}$. We give a precise comparison of these structures with the more restrictive notion introduced by Hofmann in the case of a commutative quantale, called natural topological theories here, and describe the lax monad extensions introduced by him as minimal. Throughout the paper, a variety of old and new examples of ordered, metric and topological structures illustrate the theory developed, which includes the consideration of algebraic functors and change-of-base functors in full generality.

연구 동기 및 목표

• 느슨한 모나드 확장이 아닌, 주로 데이터로 사용되는 느슨한 분배 법칙을 통해 모나드-량자로드-풍부화된 범주를 모나드-량자레-풍부화된 범주로 일반화하기.
• 소량의 양자로드 Q의 이산 프레시피 모나드 위에 모나드 T에 대한 느슨한 분배 법칙과 Q 위의 이산 프레시피에 대한 느슨한 Eilenberg-Moore T-대체 구조 사이에 갈로와 대응을 수립하기.
• 대수적 성질과 왼쪽-손바닥 조작 성질을 통한 T의 Q-관계로의 최소 느슨한 모나드 확장을 특성화하여, 호프만의 자연스러운 위상 이론 개념을 일반화하기.
• 양자레 V를 소량의 양자로드 Q로 대체함으로써 위상, 거리, 순서 구조를 통합하는 프레임워크를 제공함으로써, 더 넓은 범주론적 일반화를 가능하게 하기.

제안 방법

• 기초 데이터로 느슨한 분배 법칙 λ: T ∘ P → P ∘ T 를 사용하며, 여기서 P는 소량의 양자로드 Q 위의 이산 프레시피 모나드이다.
• 이론은 T와 Q의 (T, Q)-범주를 느슨한 λ-대체로 구성하며, 공리들을 맵과 Set-모나드 T, P의 맵으로 직접 표현함으로써 느슨한 모나드 확장을 의존하지 않는다.
• 이산 프레시피의 집합 위에 있는 느슨한 Eilenberg-Moore T-대체 구조와 느슨한 분배 법칙 사이에 갈로와 대응을 수립한다.
• 논문은 대수적 느슨한 모나드 확장과 왼쪽-손바닥 조작 확장을 도입하며, ξ를 통해 정의된 확장 가족 Tξ가 모든 허용 가능한, 왼쪽-역순서 손바닥 조작, 단조 증가하는 확장들 중에서 최소임을 보여준다.
• 최소 확장 Tξ는 공식 (Tξϕ)₁ = (canX,Y)∘ ∘ (T|ϕ|)∘ ∘ ξ∘ ∘ ε₁ 으로 특성화되며, 여기서 |ϕ| = ϕ₁: X×Y → Q₀ 이다.
• 이 프레임워크는 호프만의 자연스러운 위상 이론을 양자로드로 일반화하며, 그의 확장들이 이 더 넓은 설정에서 최소임을 보여준다.

실험 결과

연구 질문

• RQ1 느슨한 모나드 확장이 아닌, 주로 데이터로 사용되는 느슨한 분배 법칙을 통해 모나드-양자로드-풍부화된 범주를 체계적으로 구성할 수 있는가?
• RQ2 소량의 양자로드 Q 위의 이산 프레시피 모나드 위에 모나드 T에 대한 느슨한 분배 법칙과 Q 위의 이산 프레시피에 대한 느슨한 Eilenberg-Moore T-대체 구조 사이의 정확한 대응은 무엇인가?
• RQ3 교환 법칙이 성립하는 양자레의 경우, 대수적 성질과 왼쪽-손바닥 조작 성질이 자연스러운 위상 이론의 개념과 어떻게 관련되는가?
• RQ4 느슨한 모나드 확장 가족의 최소성은 어떤 조건을 만족해야 하며, 이러한 최소성은 어떻게 대수적으로 특성화할 수 있는가?
• RQ5 양자레 V를 소량의 양자로드 Q로 대체할 경우, (T, V)-범주 이론은 어떻게 일반화되며, 위상, 거리, 순서 구조는 어떻게 통합되는가?

주요 결과

• 소량의 양자로드 Q 위의 이산 프레시피 모나드 위에 모나드 T에 대한 느슨한 분배 법칙과 Q 위의 이산 프레시피에 대한 느슨한 Eilenberg-Moore T-대체 구조 사이에 갈로와 대응이 수립된다.
• 자연스러운 위상 이론 ξ를 통해 정의된 확장 가족 Tξ는 모든 허용 가능한, 왼쪽-역순서 손바닥 조작, 단조 증가하는 확장들 중에서 최소이다.
• 최소 확장 Tξ는 (Tξϕ)₁ = (canX,Y)∘ ∘ (T|ϕ|)∘ ∘ ξ∘ ∘ ε₁ 를 만족하며, ξ를 유도하는 최소한의 확장 가족으로 특성화된다.
• 대수적 느슨한 모나드 확장은 (Tξϕ)₁ = (canX,Y)∘ ∘ Tξ(ϕ₁) ∘ ζ∘ 를 만족하는 조건과 동치임을 보여주며, 원소를 사용하지 않는 표현 방식에서 대수성의 조건을 확인한다.
• 논문은 자연스러운 위상 이론 ξ에서 느슨한 모나드 확장으로 가는 두 경로—최대 단조 증가 분배 법칙을 통한 경로와 Tξ를 통한 경로—가 본질적으로 다른 확장 유형을 낳으며, Tξ는 최소이고 대수적임을 보여준다.
• 이 프레임워크는 호프만의 자연스러운 위상 이론을 양자로드로 일반화하며, 그의 확장들이 이 더 넓은 설정에서 최소임을 보이고, 최소 확장 Tξ가 그 최소성과 대수성에 의해 유일하게 특성화됨을 보여준다.