[논문 리뷰] Cofibrantly generated natural weak factorisation systems

Richard Garner|ArXiv.org|2007. 02. 12.

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

한 줄 요약

이 논문은 약한 분해 체계의 대체로, 더 작은, 더 다룰 수 있는 분해를 생성하는 수정된 소형 객체 방법을 사용하여, 자연적 약한 분해 체계(n.w.f.s.)의 대수적 개선으로서 코프리브리antly 생성된 자연적 약한 분해 체계를 제안한다. 결과로 얻어진 n.w.f.s.는 생성 코프리브레이션에 의해 자유롭게 생성되며, 맵-구조를 갖춘 범주들은 극한, 쌍극, 전순서 합성 등 모든 관련 범주론적 구성에 대해 닫혀 있음을 증명한다.

ABSTRACT

There is an ``algebraisation'' of the notion of weak factorisation system (w.f.s.) known as a natural weak factorisation system. In it, the two classes of maps of a w.f.s. are replaced by two categories of maps-with-structure, where the extra structure on a map now encodes a choice of liftings with respect to the other class. This extra structure has pleasant consequences: for example, a natural w.f.s. on C induces a canonical natural w.f.s. structure on any functor category [A, C]. In this paper, we define cofibrantly generated natural weak factorisation systems by analogy with cofibrantly generated w.f.s.'s. We then construct them by a method which is reminiscent of Quillen's small object argument but produces factorisations which are much smaller and easier to handle, and show that the resultant natural w.f.s. is, in a suitable sense, freely generated by its generating cofibrations. Finally, we show that the two categories of maps-with-structure for a natural w.f.s. are closed under all the constructions we would expect of them: (co)limits, pushouts / pullbacks, transfinite composition, and so on.

연구 동기 및 목표

• 표준적인 약한 분해 체계의 대수적 개선으로서 코프리브리antly 생성된 자연적 약한 분해 체계를 정의하기.
• 큐일렌의 원래 소형 객체 방법보다 더 작은, 더 다룰 수 있는 분해를 생성하는 구조적 방법을 개발하여 이러한 n.w.f.s.를 생성하기.
• 결과로 얻어진 n.w.f.s.가 생성 코프리브레이션에 의해 정확한 범주론적 의미에서 자유롭게 생성됨을 보여주기.
• 맵-구조를 갖춘 범주들(L-맵과 R-맵)이 쌍극, 극한, 쌍극, 당김, 전순서 합성 등 표준적인 범주론적 구성에 대해 닫혀 있음을 확립하기.

제안 방법

• 화살표 범주 ${{\rm C}}^{{\bf 2}}$ 위에 코모나드를 구성하기 위해 큐일렌의 소형 객체 방법을 변형하여, 명시적이고 구조화된 분해를 갖는 자연적 약한 분해 체계를 생성한다.
• 도메인과 공도메인 함자와의 호환성을 확보하기 위해, $\mathcal{C}$ 위의 범주들 카테고리에서의 왼쪽 칸 확장 기법을 사용하여 기초적인 함자적 분해를 계산한다.
• $\mathbf{Cat}/\mathcal{C}$ 내에서의 왼쪽 확장을 통해 $\mathsf{L}^1$ 코모나드를 구성하며, 이는 $\mathcal{L}$-맵의 대수적 구조를 코딩한다.
• 결과로 얻어진 분해가 함자적이며 도메인 함자와 호환되도록 하기 위해, 포지션 코어션 단계를 도입하여, $\mathrm{dom}$ 위에 코모나드 $\mathsf{L}^1$를 얻는다.
• 보편 성질과 칸 확장 기법을 통해, 결과로 얻어진 $\mathcal{L}$-맵과 $\mathcal{R}$-맵이 각각 쌍극과 극한에 대해 닫혀 있음을 증명한다.
• 결과적으로, 명시적인 코모나드가 5.2절에서 정의된 바와 동일한지를 확인하기 위해, 쌍극과 포지션의 구조를 명시적으로 계산한다.

실험 결과

연구 질문

• RQ1 어떻게 하면 대수적 구조와 함자성을 유지하면서 코프리브리antly 생성된 자연적 약한 분해 체계를 정의할 수 있는가?
• RQ2 수정된 소형 객체 방법을 통해 자연적 약한 분해 체계의 맥락에서 더 작은, 더 명시적인 분해를 생성할 수 있는가?
• RQ3 $\mathcal{L}$-맵과 $\mathcal{R}$-맵의 범주들이 쌍극, 극한, 쌍극, 전순서 합성 등 표준적인 범주론적 구성에 대해 닫혀 있는가?
• RQ4 결과로 얻어진 n.w.f.s.가 생성 코프리브레이션에 의해 자유롭게 생성되는 정확한 의미는 무엇인가?
• RQ5 $\mathbf{Cat}/\mathcal{C}$ 내에서의 칸 확장과 왼쪽 확장을 통한 추상적 구성이 5.2절의 명시적 구성과 동일한 분해를 도출하는가?

주요 결과

• 논문은 왼쪽 칸 확장과 포지션 코어션 단계를 통해 ${{\mathcal{C}}^{{\mathbf{2}}}}$ 위에 코모나드 $\mathsf{L}^1$를 구성하여, 구조화된 분해를 갖는 자연적 약한 분해 체계를 얻는다.
• 결과로 얻어진 $\mathcal{L}$-맵과 $\mathcal{R}$-맵은 각각 모든 쌍극과 극한에 대해 닫혀 있으며, 고전적 닫힘 성질을 일반화한다.
• 카테고리 $\mathbf{Cat}/\mathcal{C}$ 내에서의 칸 확장과 왼쪽 확장을 통한 구성은 5.2절의 명시적 구성과 동일한 기초 함자적 분해를 생성하며, 일관성을 확인한다.
• $\mathcal{L}$-맵은 포지션, 재취소, 전순서 합성에 대해 닫혀 있으며, 코모나드 작용을 통해 구조가 유지된다.
• $\mathcal{R}$-맵은 당김, 재취소, 극한에 대해 닫혀 있으며, 모나드 작용을 통해 구조가 유지된다.
• 결과로 얻어진 자연적 약한 분해 체계는 생성 코프리브레이션에 의해 자유롭게 생성되며, 생성 데이터를 확장하는 최초의 구조로서의 의미에서 그렇다.