[논문 리뷰] Lax Diagrams and Enrichment

Hugo V. Bacard|arXiv (Cornell University)|2012. 06. 16.

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

한 줄 요약

이 논문은 대칭 모나드 모델 범주 $\mathscr{M}$ 위에서 약하게 부가된 범주인 Co-Segal 범주를 도입한다. Co-Segal 범주는 $2$-범주 $\mathbb{S}_{\overline{X}}^{2\text{-op}}$ 에서 $\mathscr{M}$ 로의 립스 함자로서, 역전된 Segal 조건을 만족한다. 주요 기여는 Pre-Co-Segal 범주의 범주에 cofibrantly 생성된 모델 구조를 정의한 것으로, 이 구조에서 프레브 객체는 정확히 Co-Segal 범주이며, 이는 고차원 선형 범주의 호모토피 이론을 가능하게 한다.

ABSTRACT

We introduce a new type of weakly enriched categories over a given symmetric monoidal model category M; these are called Co-Segal categories. Their definition derives from the philosophy of classical (enriched) Segal categories. We study their homotopy theory by giving a model structure on them. One of the motivations of introducing these structure was to have an alternative definition of higher linear categories following Segal-like methods.

연구 동기 및 목표

• 대칭 모나드 모델 범주 $\mathscr{M}$ 위에서 약하게 부가된 범주에 대한 호모토피 이론을 개발하고, 이는 고차원 선형 범주의 필요성에서 기인한다.
• 비카르테시안 모나드 구조에서의 Segal 사상의 비자연성 문제를 'Co-Segal' 체계를 통해 역전된 Segal 조건을 도입하여 해결한다.
• Co-Segal 범주는 $\mathcal{C}: (\mathbb{S}_{\overline{X}})^{2\text{-op}} \to \mathscr{M}$ 의 립스 준동형으로서, 고전적 Segal 범주와 역전된 조건을 만족하는 것으로 정의한다.
• Pre-Co-Segal 범주의 범주에 모델 구조를 수립하고, 프레브 객체가 정확히 Co-Segal 범주임을 규명한다.
• 비카르테시안 환경에서 Segal 유사 방법을 사용하여 고차원 선형 범주의 기초를 마련한다.

제안 방법

• Co-Segal 범주는 $\mathbb{S}_{\overline{X}}$ 가 $\Delta_{\text{epi}}$ 위의 $2$-범주임을 전제로 하여, $\mathcal{C}: (\mathbb{S}_{\overline{X}})^{2\text{-op}} \to \mathscr{M}$ 의 립스 함자로서 정의되며, 고전적 Segal 조건을 역전시킨다.
• Co-Segal 조건을 갖지 않는 립스 함자로 Pre-Co-Segal 범주를 정의하고, 이는 범주 $\mathscr{M}_{\mathbb{S}}(\mathbf{Set})$ 를 이룬다.
• 특히 $\operatorname{Lax}_{\mathcal{O}\text{-alg}}(\mathcal{C}, \mathcal{M})$ 의 맥락에서, $\mathcal{O}$-대수와 그 립스 준동형의 구조를 기술하기 위해 운영적 언어를 사용하여 립스 함자의 구조를 모델링한다.
• $\mathscr{M}$ 이 cofibrantly 생성되고 모든 객체가 cofibrant이라고 가정할 때, $\mathscr{M}_{\mathbb{S}}(\mathbf{Set})$ 에 cofibrantly 생성된 모델 구조를 구성한다.
• 모델 구조에서 프레브 객체가 정확히 Co-Segal 범주임을 증명하기 위해, $\kappa$-지향된 립스 다이어그램의 천천히 열린 합성으로부터 $\mathcal{F}^\infty$ 를 구성하는 전이수열 합성 기법을 사용한다.
• 프레브 객체의 포함이 Quillen 동치임을 증명하고, $\mathscr{M}$ 이 계량 가능한 경우 모델 구조가 또한 계량 가능함을 확립한다.

실험 결과

연구 질문

• RQ1 텐서 곱이 카르테시안이 아닐 경우, 대칭 모나드 모델 범주 $\mathscr{M}$ 위에서 약하게 부가된 범주에 대한 호모토피 이론을 어떻게 정의할 수 있는가?
• RQ2 비카르테시안 환경에서 약한 합성의 일관성 이론을 가능하게 하기 위해, Segal 조건의 올바른 역전은 무엇인가?
• RQ3 립스 함자 $\mathcal{C}: (\mathbb{S}_{\overline{X}})^{2\text{-op}} \to \mathscr{M}$ 의 범주에 대해, 프레브 객체가 Co-Segal 조건을 만족하는 모델 구조를 구성할 수 있는가?
• RQ4 $\mathscr{M}$ 에 어떤 조건이 성립하면, Pre-Co-Segal 범주의 결과 모델 범주가 cofibrantly 생성되고 계량 가능한가?
• RQ5 립스 준동형 $\mathcal{O}$-대수와 그 합성은 모델 구조에서 프레브 대체를 구성하는 데 어떻게 관련되는가?

주요 결과

• 모든 객체가 cofibrant인 cofibrantly 생성된 대칭 모나드 모델 범주 $\mathscr{M}$ 이라면, Pre-Co-Segal 범주의 범주 $\mathscr{M}_{\mathbb{S}}(\mathbf{Set})$ 는 cofibrantly 생성된 모델 구조를 갖는다.
• 이 모델 구조에서 프레브 객체는 정확히 Co-Segal 범주이며, 이는 다이어그램 $\mathcal{C}(A,C) \to \mathcal{C}(A,B,C)$ 에서 약한 동치를 통해 역전된 Segal 조건을 만족함을 의미한다.
• $\mathscr{M}$ 이 계량 가능하다면, $\mathscr{M}_{\mathbb{S}}(\mathbf{Set})$ 도 계량 가능하여 접근성과 국소적 현존성을 보장한다.
• 프레브 대체 함수자는 $\kappa$-지향된 립스 다이어그램의 전이수열 합성으로 구성되며, 수준별로 임의의 코프ibration $\eta^\infty: \mathcal{F} \to \mathcal{F}^\infty$ 를 갖는 프레브 객체 $\mathcal{F}^\infty$ 를 유도한다.
• 립스 구조 사상 $\otimes_x(\mathcal{F}^\infty c_1, \dots, \mathcal{F}^\infty c_n) \to \mathcal{F}^\infty c$ 는 합성의 보편 성질에 의해 유도되며, $\eta^\infty c_i$ 와의 호환성을 유지하여 일관성을 확보한다.
• $\mathbf{F}\alpha$ 를 $\sigma$ 에 따라 옮긴 것은 $\eta^\infty$ 로 표현되며, $\mathcal{U}(\eta^\infty)$ 는 수준별로 임의의 코프ibration이므로 모델 구조의 Quillen 성질을 확인한다.