2025-11-18T15:01:13.540108

Free Doubly-Infinitary Distributive Categories are Cartesian Closed

Nunes, VÃ¡kÃ¡r

We investigate categories in which products distribute over coproducts, a structure we call doubly-infinitary distributive categories. Through a range of examples, we explore how this notion relates to established concepts such as extensivity, infinitary distributivity, and cartesian closedness. We show that doubly-infinitary distributivity strictly strengthens the classical notion of infinitary distributivity. Moreover, we prove that free doubly-infinitary distributive categories are cartesian closed, unlike free distributive categories. The paper concludes with observations on non-canonical isomorphisms, alongside open questions and directions for future research.

academic

자유 이중 무한 분배 범주는 데카르트 폐포이다

기본 정보

논문 ID: 2403.10447
제목: Free Doubly-Infinitary Distributive Categories are Cartesian Closed
저자: Fernando Lucatelli Nunes, Matthijs Vákár
분류: math.CT (범주론), cs.LO (컴퓨터과학의 논리), cs.PL (프로그래밍 언어), math.LO (논리)
발표 시간: 2024년 3월 (arXiv 사전인쇄본, 제7판은 2025년 10월 14일)
논문 링크: https://arxiv.org/abs/2403.10447

초록

본 논문은 곱이 여곱에 분배되는 범주, 즉 이중 무한 분배 범주(doubly-infinitary distributive categories)를 연구한다. 풍부한 예시를 통해 이 개념과 확장성, 무한 분배성, 데카르트 폐포성 같은 기존 개념들 간의 관계를 탐구한다. 논문은 이중 무한 분배성이 고전적인 무한 분배성 개념을 엄격히 강화함을 증명하고, 자유 이중 무한 분배 범주가 데카르트 폐포라는 것을 보인다. 이는 자유 분배 범주의 경우와 다르다. 논문은 마지막으로 비표준 동형을 논의하고 개방 문제와 향후 연구 방향을 제시한다.

연구 배경 및 동기

핵심 문제

범주론의 핵심 문제는 극한과 여극한 사이의 상호작용이다. 가장 단순하고 구조적인 상호작용 형태는 (의사)분배성을 통해 특성화된다. 기존 연구에는 유한 분배 범주, 무한 분배 범주, 완전 분배 범주 등이 포함된다.

연구 동기

이론적 완성성: 유한 분배성과 완전 분배성 사이에 이론적 공백이 존재하며, 이 둘을 연결하는 중간 개념이 필요하다
실제 응용: 프로그램 변환의 지시적 의미론과 관련 범주 프레임워크에서 중요한 응용을 가진다
구조적 성질: 자유 구성 범주가 언제 좋은 구조적 성질(예: 데카르트 폐포성)을 갖는지 탐구한다

기존 방법의 한계

고전적인 무한 분배 범주는 중요하지만 일부 응용에서 너무 광범위하다
완전 분배 범주는 강력하지만 너무 엄격하여 많은 자연스러운 예시가 만족하지 못한다
자유 분배 범주는 일반적으로 데카르트 폐포가 아니므로 타입 이론에서의 응용이 제한된다

핵심 기여

새로운 개념 도입: 이중 무한 분배 범주의 개념을 제시하며, 이는 무한 분배와 완전 분배 사이의 중간 이론이다
의사 단자 구조 확립: 이중 무한 분배 범주가 의사 단자 Dist의 의사 대수를 구성함을 증명한다
주요 정리: 자유 이중 무한 분배 범주 Dist(C) = Fam(Fam(C^op)^op)가 데카르트 폐포임을 증명한다 (정리 2.4)
풍부한 예시: 이 개념과 다른 범주적 성질의 관계를 보여주는 많은 긍정적 및 부정적 예시를 제공한다
지수 공식: Dist(C)에서 지수 대상의 명시적 구성 공식을 제시한다

방법론 상세 설명

작업 정의

다음 조건을 만족하는 범주 C를 연구한다:

임의의 곱과 여곱을 가진다
임의의 대상족 ((C_j^i){i∈I_j}){j∈J}에 대해, 표준 사상 (3.1)이 가역이다:

$\coprod_{r∈\prod_{j∈J}I_j} \prod_{j∈J} C^j_{r_j} \xrightarrow{\sim} \prod_{j∈J} \coprod_{i∈I_j} C^j_i$

핵심 구성

Fam 구성

범주 C에 대해, 그 자유 여곱 완비화 Fam(C)는 다음과 같이 정의된다:

대상: 쌍 (I,C), 여기서 I는 집합이고 C = (C_i)_{i∈I}는 C의 I-인덱스 대상족이다
사상: 쌍 (f,φ), 여기서 f: I → J는 함수이고 φ = (φ_i: C_i → C'{f(i)}){i∈I}는 사상족이다

Dist 구성

자유 이중 무한 분배 범주는 다음과 같이 정의된다: $\text{Dist}(C) := \text{Fam}(\text{Fam}(C^{\text{op}})^{\text{op}})$

기술적 혁신점

의사 분배 법칙

Dist의 의사 단자 구조는 자유 곱 완비화 의사 단자와 자유 여곱 완비화 의사 단자 사이의 표준 의사 분배 법칙에서 비롯된다: $λ: (\text{op} \circ \text{Fam} \circ \text{op}) \circ \text{Fam} \to \text{Fam} \circ (\text{op} \circ \text{Fam} \circ \text{op})$