[논문 리뷰] Enriched factorization systems

Rory B. B. Lucyshyn-Wright|arXiv (Cornell University)|2014. 01. 01.

Homotopy and Cohomology in Algebraic Topology참고 문헌 15인용 수 6

한 줄 요약

이 논문은 대칭 모나드 카테고리 $β$ 위로 강화된 $β$-카테고리에서 강화된 분해 체계의 기초 이론을 수립한다. 이는 호모지오그램 객체를 기반으로 한 $β$-강화 수직성 조건을 통해 고전적 분해 체계를 일반화한다. 주요 기여는 국소적으로 표현 가능한, 위상적이고 모델 유사 카테고리와 같은 넓은 범주에서 강화된 $(̀\text{Epi},\text{Strong Mono})$ 및 $(̀\text{Strong Epi},\text{Mono})$-분해 체계의 존재성을 증명하는 것이다.

ABSTRACT

In a paper of 1974, Brian Day employed a notion of factorization system in the context of enriched category theory, replacing the usual diagonal lifting property with a corresponding criterion phrased in terms of hom-objects. We set forth the basic theory of such enriched factorization systems. In particular, we establish stability properties for enriched prefactorization systems, we examine the relation of enriched to ordinary factorization systems, and we provide general results for obtaining enriched factorizations by means of wide (co)intersections. As a special case, we prove results on the existence of enriched factorization systems involving enriched strong monomorphisms or strong epimorphisms.

연구 동기 및 목표

• 강화된 분해 체계의 기초 이론을 체계화하고, 대칭 모나드 카테고리 $β$ 위로 강화된 카테고리로 고전적 분해 체계를 확장한다.
• 강화된 분해 체계와 그 기저가 되는 일반 카테고리에서의 일반 분해 체계 간의 관계를 명확히 한다.
• 넓은 (공)교차와 호모지오그램 객체 내 수직성 조건을 사용하여 강화된 분해 체계의 일반 존재 결과를 제공한다.
• 강화된 강한 단사 사상과 강한 전사 사상이 분해 체계의 일부가 되는 조건을 확립한다.
• 국소적으로 표현 가능한, $β$-대수 및 강화된 스케치의 모델과 같은 넓은 범주의 카테고리에서 정규 강화된 분해 체계의 존재를 보여준다.

제안 방법

• 호모지오그램 객체에서의 근본적 당김 조건을 통해 $β$-강화 수직성을 정의함으로써 고전적 대각선 릿지 성질을 일반화한다.
• 강화된 프레분해 체계를 강화된 설정에서 특정 릿지 및 닫힘 조건을 만족하는 사상의 집합으로 정의한다.
• 특히 $β$-단사 사상과 $β$-전사 사상에 대해 넓은 (공)교차를 사용하여 분해 체계를 구성한다.
• $β$-카테고리에서의 극한과 쌍극한에 대한 안정성 결과를 강화된 프레분해 체계에 적용한다.
• $β$-카테고리에서의 잘 통제됨, 코텐서링, 극한/쌍극한의 성질을 활용하여 존재 정리를 도출한다.
• 강화된 수직성과 (공)극한에 대한 닫힘 조건을 이용해 강화된 강한 단사 사상과 전사 사상을 포함하는 분해 체계를 도출하기 위해 결과를 쌍대화한다.

실험 결과

연구 질문

• RQ1 강화된 카테고리가 강화된 강한 단사 사상 또는 강한 전사 사상을 포함하는 분해 체계를 갖기 위한 조건은 무엇인가?
• RQ2 강화된 분해 체계는 그 기저가 되는 일반 카테고리에서의 일반 분해 체계와 어떻게 관련이 있는가?
• RQ3 강화된 분해 체계를 구성하는 데 사용할 수 있는 일반적인 범주론적 구성(예: 넓은 교차)은 무엇인가?
• RQ4 강화된 $β$-대수나 강화된 스케치의 모델과 같은 특정 강화된 카테고리의 범주에서 강화된 $(̀\text{Epi},\text{Strong Mono})$ 및 $(̀\text{Strong Epi},\text{Mono})$-분해 체계가 존재하는가?
• RQ5 강화된 분해 체계의 존재를 위한 충분한 구조적 성질(예: 잘 통제됨, 극한/쌍극한 존재)은 무엇인가?

주요 결과

• 강화된 코텐서링이 있고, $β$-강한 단사 사상에 대해 잘 통제되며, 소형 $β$-극한과 $β$-코코어널 페어를 갖는 $β$-카테고리 $β$ 에서, $(\operatorname{\textnormal{{Epi}}}_{\mathscr{V}}\mathscr{B}, \operatorname{\textnormal{{StrMono}}}_{\mathscr{V}}\mathscr{B})$ 는 $β$-분해 체계를 이룬다.
• 강화된 텐서링이 있고, $β$-강한 전사 사상에 대해 공-잘 통제되어 있으며, 소형 $β$-쌍극한과 $β$-코어널 페어를 갖는 $β$-카테고리 $β$ 에서, $(\operatorname{\textnormal{{StrEpi}}}_{\mathscr{V}}\mathscr{B}, \operatorname{\textnormal{{Mono}}}_{\mathscr{V}}\mathscr{B})$ 는 $β$-분해 체계를 이룬다.
• 폐쇄적이고 국소적으로 표현 가능하거나 잘 통제된 $β$-카테고리 위의 $β$-대수에서는 표준적인 완비성과 잘 통제됨 조건이 성립할 경우 강화된 분해 체계의 존재가 보장된다.
• $β$-강화된 가중 극한 스케치의 모델 카테고리에서는 $β$-반사성과 기반 카테고리의 잘 통제됨 조건을 통해 두 정규 강화된 분해 체계의 존재가 입증된다.
• 이 이론은 토이와 대수적 카테고리에서의 고전적 분해 체계를 통합하고 일반화하며, 강화된 강한 단사 사상과 전사 사상이 자연스럽게 $β$-분해 체계의 일부가 됨을 보여준다.
• $(\operatorname{\textnormal{{Epi}}}_{\mathscr{V}}\mathscr{B}, \operatorname{\textnormal{{StrMono}}}_{\mathscr{V}}\mathscr{B})$ 의 존재 결과의 쌍대화는, 대응 조건 하에서 $(\operatorname{\textnormal{{StrEpi}}}_{\mathscr{V}}\mathscr{B}, \operatorname{\textnormal{{Mono}}}_{\mathscr{V}}\mathscr{B})$ 의 존재를 도출하며, 이는 이 이론의 대칭성을 확인한다.