[논문 리뷰] On Reedy Model Categories

Clark Barwick|ArXiv.org|2007. 08. 21.

Constraint Satisfaction and Optimization참고 문헌 2인용 수 9

한 줄 요약

이 논문은 재디 모델 범주에 대한 기본 결과를 수립하며, 함자성과 대칭 모노이드 구조에 중점을 두고 있다. 재디 범주 간의 사상에 의한 복합이 왼쪽 또는 오른쪽 퀼렌 함자로 이어지는지 여부를 판단하는 기준을 제공하고, 만약 대칭 모노이드 모델 범주가 유닛 공리를 만족한다면, Day convolution 구성에 의해 그 재디 다이어그램 범주가 대칭 모노이드 모델 구조를 상속받는다는 것을 증명한다.

ABSTRACT

The sole purpose of this note is to introduce some elementary results on the structure and functoriality of Reedy model categories. In particular, I give a very useful little criterion to determine whether composition with a morphism of Reedy categories determines a left or right Quillen functor. I then give a number of useful inheritance results.

연구 동기 및 목표

• 색인 범주에 대한 사상에 따른 재디 모델 범주의 함자성 행동을 명확히 하기 위해.
• 재디 범주 사상에 의해 유도된 함자가 왼쪽 또는 오른쪽 퀄렌인지 판단하기 위한 기준을 제공하기 위해.
• 재디 모델 구조가 대칭 모노이드 모델 범주에 값이 주어진 다이어그램에서 대칭 모노이드로 상속되는 조건을 설정하기 위해.
• 유닛 공리를 만족할 경우, Day convolution을 사용하여 재디 다이어그램 범주에 대한 대칭 모노이드 구조를 체계화하기 위해.
• 재디 모델 범주에 대한 기본 결과를 장문의 책 논문에 의존하지 않고 독립적으로 제공하기 위해.

제안 방법

• 재디 범주의 왼쪽 및 오른쪽 피브레이션 기반 기준을 사용하여 다이어그램 함자의 퀄렌 함자성 여부를 판단한다.
• Day convolution 구성 방법을 사용하여 재디 다이어그램 범주에서의 텐서 곱을 정의한다.
• 다음 공식을 통해 재디 다이어그램 범주의 내부 함수를 정의한다: $\underline{\operatorname{Mor}}_{\mathbf{M}(A)}^{\mathbf{M}(A)}(X,Y)_{\alpha} = \underline{\operatorname{Mor}}_{\mathbf{M}(A)}^{\mathbf{M}}(y_{\mathbf{M}}(\alpha) \otimes_{\mathbf{M}(A)}^{\mathbf{M}(A)} X, Y)$.
• 유닛 공리와 상수 함수의 코프라비티를 활용하여 대칭 모노이드 모델 범주 공리계를 검증한다.
• 대각 함자 $\Delta: A \to A \times A$ 가 왼쪽 피브레이션이라는 것을 보여주며, 이는 관련 콤마 범주의 네르브가 연결되거나 공집합임을 보장하고, 대칭 모노이드 구조의 핵심 단계를 지원한다.
• 결과를 단순형 집합이나 범주 $K$ 에 대한 $\Delta/K$ 위의 다이어그램 범주에 적용하여, 이들이 대칭 모노이드 구조를 상속받음을 보여준다.

실험 결과

연구 질문

• RQ1 재디 범주 간의 사상이 다이어그램 범주에서 왼쪽 또는 오른쪽 퀄렌 함자로 이어지는 조건은 무엇인가?
• RQ2 재디 모델 구조 $\mathbf{M}^A$ 가 $\mathbf{M}$ 에서 유도된 대칭 모노이드 구조를 상속받는 조건은 무엇인가?
• RQ3 Day convolution 텐서 곱을 어떻게 사용하여 $\mathbf{M}^A$ 에 대칭 모노이드 모델 구조를 부여할 수 있는가?
• RQ4 유닛 공리는 $\mathbf{M}^A$ 에서 대칭 모노이드 모델 범주 구조를 보장하는 데 어떤 역할을 하는가?
• RQ5 재디 범주 $A$ 에 대해 대각 함자 $\Delta: A \to A \times A$ 는 왼쪽 피브레이션인가?

주요 결과

• 재디 범주 간의 사상이 왼쪽 또는 오른쪽 피브레이션일 때, 각각 왼쪽 또는 오른쪽 퀄렌 함자로 이어지며, 이는 퀄렌 함자성에 대한 실용적인 기준을 제공한다.
• 범주 $A$ 가 재디 범주이고 $\mathbf{M}$ 이 유닛 공리를 만족할 경우, 재디 다이어그램 범주 $\mathbf{M}(A)$ 는 $\mathbf{M}$ 에서 유도된 대칭 모노이드 모델 구조를 상속받는다.
• 범주 $\mathbf{M}(A)$ 에서의 대칭 모노이드 구조는 Day convolution에 의해 주어지며, 내부 함수는 다음 공식으로 정의된다: $\underline{\operatorname{Mor}}_{\mathbf{M}(A)}^{\mathbf{M}(A)}(X,Y)_{\alpha} = \underline{\operatorname{Mor}}_{\mathbf{M}(A)}^{\mathbf{M}}(y_{\mathbf{M}}(\alpha) \otimes_{\mathbf{M}(A)}^{\mathbf{M}(A)} X, Y)$.
• 대각 함자 $\Delta: A \to A \times A$ 는 왼쪽 피브레이션으로, 이는 관련 콤마 범주의 네르브가 연결되거나 공집합임을 보장하며, 대칭 모노이드 공리계 검증의 핵심 단계가 된다.
• 모든 $\mathbf{X}$-소형 단순형 집합 또는 범주 $K$ 에 대해, 대각 대칭 모노이드 구조 하에서 $\mathbf{M}(\Delta/K)$ 는 대칭 모노이드 모델 범주가 된다.