Concepts de base
内部和を持つ合成繊維$(\infty,1)$-カテゴリーに関する重要な結果と定理に焦点を当てる。
Résumé
この記事は、(内部)$(\infty,1)$-カテゴリーの分岐化に関する構造的な結果を提供しています。Moensの定理の高次バージョンやStreicherによる一般化されたMoensの定理などが含まれます。さらに、Zawadowskiによる条件を用いてMoens分岐が特徴付けられることも示されています。全体的なアカウントは、Bénabou風のファイバー化されたカテゴリー論をStreicherのプレゼンテーションに沿って行われ、内部で、高次元である場合に結果が一般化され、合成的な設定で表現されています。
構造:
- 導入
- Beck–Chevalleyファミリー
- ユニバースU上のco-/cartesianファミリP : B → Uが直接射u : a →B bに対してfunctorial transportを持つこと。
- Moensファミリー
- Lex Rezkタイプ間のファンクタF : B → Cがlex bifibrationであること。
- 追加コンテキストと作業への展望
Stats
2020年3月12日時点でMSCコード: 03B38, 18N60, 18D30, 18B50, 18N45, 55U35, 18N50
Citations
"Moens/lextensive fibrations are exactly the fibrational analogue of lextensive categories."
"Our study adds to the study of higher topos theory from a fibrational point of view."