弱い豊穣化を扱う形式圏論と高次圏への対応
Formal weakly enriched category theory
この論文をやさしく読む
ひとことで言うと
弱い豊穣化を持つ圏を形式的に扱い、準圏を使う高次圏論との同値性を示した。
何に役立つ？
考えられる用途は、単体的圏や位相的圏を共通の形式で研究することである。要旨は数学的な構成と証明を述べる。
この研究の面白いところ
Dwyer–Kan同値を2圏の同値として捉え、Quillenの定理Aを豊穣化した形へ進める。
どこまで分かった？
同値性の記述は指定されたKan–QuillenまたはQuillen–Serreのモデル構造への特殊化に関する。その他への拡張は要旨にない。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
モノイド・モデル圏V上の弱く整合的な豊穣化を表す形式圏論を、プロアロー・エクイップメントの形で構成する。そのエクイップメントによって定式化した基本的な圏論概念が、豊穣圏の言葉にどう戻るかを記述する。また、豊穣圏のDwyer–Kan同値を、2圏としての同値で特徴付ける。 単体的集合上のKan–Quillenモデル構造、または位相空間上のQuillen–Serreモデル構造に特殊化すると、得られる形式圏論が、準圏の∞-cosmosに付随する形式圏論と同値であると証明する。これにより、RiehlとVerityの意味での(∞,1)圏に対する形式的な方法を、単体的圏と位相的圏の双方へ広げる。さらに、V-圏のエクイップメント内部で定式化した分類対象の概念から、Quillenの定理Aの豊穣化版を導く。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-23（UTC）
- 最新改訂
- 2026-09-23 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-23 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
A formal category theory is constructed (in the form of a proarrow equipment), encoding weak coherent enrichment over a monoidal model category $\mV$. We describe how basic categorical concepts formulated via the equipment translate back to enriched categories. We characterize Dwyer-Kan equivalences of enriched categories as $2$-categorical equivalences. Specializing to either the Kan-Quillen model structure on simplicial sets, or the Quillen-Serre model structure on topological spaces, we prove that the resulting formal category theory is equivalent to the one associated with the $\infty$-cosmos of quasicategories, thereby extending the formal approach to $(\infty,1)$-categories in the sense of Riehl-Verity to encompass both simplicial and topological categories. A notion of classifying object, formulated internally to the equipment of $\mV$-categories, leads to enriched versions of Quillen's Theorem A.
arXiv ID: 2609.28435 ／ 要約の誤りについて