[논문 리뷰] Coherence in Hilbert's Hotel

Peter Hines|arXiv (Cornell University)|2013. 04. 22.

Homotopy and Cohomology in Algebraic Topology인용 수 1

한 줄 요약

이 논문은 자기유사한 단항 모나드 카테고리에서 모든 결합도 다이어그램이 교환되도록 보장함으로써, 자기유사한 단항 모나드 카테고리에서의 일관성(코herency)을 보장하는 범주론적 구성법을 제안한다. 이는 맥클레인의 일관성 정리가 단항 모나드 카테고리로 확장된 것으로, 맥클레인의 결합도 대체 함수자에 대한 단사-단사 분해를 제공하여, 모나드 카테고리에서 형식적 및 비형식적 진술 간의 괴리 문제를 해결한다.

ABSTRACT

This paper is about coherence for self-similarity (the categorical iden-tity S ∼ = S ⊗ S), its relationship with MacLane’s coherence theorem for associativity, and the strictification procedures for both associativity and self-similarity. Based on a motivating example of a monoidal category with a sin-gle non-trivial object, we study why the formal and informal statements of MacLane’s theorem do not always coincide (i.e. the situation where not all canonical diagrams commute in a monoidal category). We give a categorical construction that replaces an arbitrary monogenic monoidal category with one in which all canonical (for associativity) diagrams are guaranteed to commute. This in turn leads to a monic-epic decomposition of MacLane’s associativity substitution functor in the category of small categories. Applying this construction to the trivial monoidal category gives a pose-

연구 동기 및 목표

• 모나드 카테고리에서 맥클레인의 일관성 정리의 형식적 진술과 비형식적 진술 간의 불일치를 해결하기 위해.
• 모든 표준 결합도 다이어그램이 교환되는 단항 모나드 카테고리 구축하기 위해.
• 모나드 카테고리에서 결합도와 자기유사성의 엄격화를 위한 범주론적 프레임워크 제공하기 위해.
• 작은 카테고리의 카테고리인 Cat에서 맥클레인의 결합도 대체 함수자를 단사 및 단사 성분으로 분해하기 위해.
• 이 구성법을 자명한 모나드 카테고리에 적용하여 일관성 있고 구조화된 결과를 도출하기 위해.

제안 방법

• 단일한 비자명한 객체를 가진 모나드 카테고리의 동기를 주는 예시를 사용하여 일관성 붕괴를 분석하기 위해.
• 임의의 단항 모나드 카테고리를, 완전한 결합도 일관성을 보장하는 것으로 대체하는 범주론적 구성법 정의하기 위해.
• 이 구성법을 적용하여 모든 표준 결합도 다이어그램이 교환되도록 하여 일관성을 달성하기 위해.
• Cat(작은 카테고리의 카테고리)에서 맥클레인의 결합도 대체 함수자의 단사-단사 분해를 유도하기 위해.
• 이 구성법을 자명한 모나드 카테고리에 확장하여, 일관성 유지 효과를 입증하기 위해.
• 자기유사성(S ≅ S ⊗ S)을 일관성 메커니즘의 구조적 기반으로 활용하기 위해.

실험 결과

연구 질문

• RQ1 왜 모나드 카테고리에서 맥클레인의 일관성 정리의 형식적 진술과 비형식적 진술이 때로는 다름?
• RQ2 어떻게 단항 모나드 카테고리를 체계적으로 수정하여 모든 결합도 다이어그램이 교환되도록 할 수 있는가?
• RQ3 맥클레인의 결합도 대체 함수자의 범주론적 구조는 무엇이며, 어떻게 단사 및 단사 성분으로 분해할 수 있는가?
• RQ4 자기유사성은 모나드 카테고리에서 일관성과 어떻게 상호작용하는가?
• RQ5 이 구성법을 통해 자명한 모나드 카테고리를 일관성 있는 구조로 변형시킬 수 있는가?

주요 결과

• 제안된 범주론적 구성법은 단항 모나드 카테고리의 모든 결합도 다이어그램에 대해 일관성을 성공적으로 보장한다.
• 맥클레인의 결합도 대체 함수자의 단사-단사 분해가 작은 카테고리의 카테고리에서 확립된다.
• 이 구성법은 표준 다이어그램이 교환되도록 보장하여, 맥클레인의 정리에 대한 형식적 및 비형식적 진술 간의 괴리를 해결한다.
• 자기유사성(S ≅ S ⊗ S)은 일관성 보장 전환 과정 동안 유지된다.
• 자명한 모나드 카테고리에 적용하면, 다이어그램 교환성이 보장된 잘 구조화된 일관성 있는 카테고리가 도출된다.
• 이 방법은 모나드 카테고리에서 결합도와 자기유사성에 대한 체계적인 엄격화 절차를 제공한다.