[논문 리뷰] Homotopy-theoretic aspects of 2-monads

Stephen Lack|arXiv (Cornell University)|2006. 07. 26.

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

한 줄 요약

이 논문은 Cat-풍부화된 모델 범주를 사용하여 2-모나드에 대한 호모토피 이론 프레임워크를 개발한다. 이는 2-모나드의 대수 구조에 대한 2-범주와 2-모나드 자체의 2-범주에 비자명한 모델 구조를 구성한다. 핵심 기여는 약한 동치가 기본 범주의 자명한 모델 구조를 통해 정의되는 엄격한 T-대수에 대한 모델 구조를 제공함으로써, 2-범주 이론에서 대수적 구조의 호모토피 분석을 가능하게 한다. 특히, 모나드의 탄력성 덕분에 대수적 구조가 동치를 따라 이행 가능하며, 이는 프레비브라성과 동치를 따라의 구조 이행을 보장한다.

ABSTRACT

We study 2-monads and their algebras using a Cat-enriched version of Quillen model categories, emphasizing the parallels between the homotopical and 2-categorical points of view. Every 2-category with finite limits and colimits has a canonical model structure in which the weak equivalences are the equivalences; we use these to construct more interesting model structures on 2-categories, including a model structure on the 2-category of algebras for a 2-monad T, and a model structure on a 2-category of 2-monads on a fixed 2-category K.

연구 동기 및 목표

• Cat-풍부화된 모델 범주를 사용하여 2-모나드 이론에 대한 호모토피 이론적 프레임워크를 수립한다.
• 기본적인 자명한 모델 구조를 초월하여 2-모나드의 대수 구조에 대한 2-범주에 비자명한 모델 구조를 구성한다.
• 특히 탄력적인 모나드를 통해 2-범주에서 동치를 따라 대수적 구조를 이행할 수 있는 조건을 명확히 한다.
• T-대수에서 기저 2-범주로의 忘却 2-함수의 프레비브라성 및 호모토피 성질을 조사한다.
• 모나드 사상의 2차원 릿지 성질과 그들이 2-대수의 범주에서 프레비브라션에 미치는 영향을 탐구한다.

제안 방법

• 기본 범주는 Cat이며, 그에 대한 표준 모델 구조를 갖는 Cat-풍부화된 모델 범주를 사용하여 2-범주의 모델 구조를 정의한다.
• 유한한 극한과 쌍대극한을 갖는 임의의 2-범주에 대해 자명한 모델 구조를 구성하며, 여기서 약한 동치는 범주의 동치이다.
• 기저 2-범주 K로의 忘却 2-함수 U_s: T-Alg_s → K 沿해 자명한 모델 구조를 당겨옴으로써, 엄격한 T-대수의 2-범주 T-Alg_s에 모델 구조를 정의한다.
• 쿼일렌 모델 이론의 리프팅 기법을 적용하여, 2-모나드 T가 탄력적일 경우 동치를 따라 대수적 구조를 확장한다.
• 모나드 사상 j: S → T의 2차원 리프팅 성질을 분석하여, j*가 코프레비브라성 조건이 만족될 경우 프레비브라션과 자명한 프레비브라션을 보존함을 보인다.
• 모나드에서 2-대수의 범주로의 sem-함수는 프레비브라션과 자명한 프레비브라션을 보존하지만, 크기 문제로 인해 완전한 왼쪽 수반 함수는 존재하지 않는다.

실험 결과

연구 질문

• RQ1 기저 2-범주에서의 동치를 따라 2-모나드의 대수적 구조가 언제 이행될 수 있는가?
• RQ2 Cat에 대한 강화를 사용하여 2-모나드의 대수 구조에 대한 2-범주에 모델 구조를 어떻게 구성할 수 있는가?
• RQ3 2-모나드의 탄력성은 프레비브라성과 대수적 구조의 리프팅을 보장하는 데 어떤 역할을 하는가?
• RQ4 모나드 사상은 대수 수준에서 어떻게 프레비브라션을 유도하며, 이러한 프레비브라션이 약한 동치를 보존하는 조건은 무엇인가?
• RQ5 왜 2-함수 sem: Mnd_f(K)^op → 2-CAT/K 는 왼쪽 수반 함수를 갖지 못하며, 어떤 부분 2-범주가 이러한 수반 조건을 지원할 수 있는가?

주요 결과

• 유한한 극한과 쌍대극한을 갖는 임의의 2-범주에 대해 자명한 모델 구조가 존재하며, 여기서 약한 동치는 범주의 동치이다.
• T-Alg_s에 존재하는 모델 구조는 비자명하다: T-Alg_s 내의 약한 동치는 반드시 2-대수의 범주 내에서의 동치일 필요는 없다.
• 탄력적인 2-모나드의 경우, 대수적 구조는 동치를 따라 이행 가능하며, 이는 忘却 2-함수 U: T-Alg → K 가 프레비브라션이라는 것을 보장한다.
• 기저 2-범주 K로의 忘却 2-함수 U: T-Alg_s → K 가 프레비브라션이 되는 것은 T가 탄력적일 때이고, 이는 동치를 따라 리프팅하는 유일한 성질을 가짐과 동치이다.
• 모나드에서 2-대수의 범주로의 sem-함수는 프레비브라션과 자명한 프레비브라션을 보존하지만, 2-CAT/K의 크기 제약으로 인해 왼쪽 수반 함수가 존재하지 않는다.
• sem이 왼쪽 수반 함수를 갖지 못하는 이유는 2-CAT/K의 크기 때문이며, 적절한 작은 부분 2-범주가 이러한 수반 조건을 지원할 수 있다.