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})$