抄録/ポイント:
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
弱いより高いカテゴリー構造についての推論は,専門家にとってさえ,挑戦的な課題を構成する。1つの主な理由は,集合理論の言語がホモトピー等価性のようなプレイにおける等価性の弱い概念の下で不変でないということである。この観点からは,これらの概念をより自然に支持する異なる基礎設定に対する自然である。本研究は,特にコカルテシアンフィブレーションの研究を含む,シンプレクティックホモトピー型理論における合成(∞,1)-カテゴリー理論をさらに開発するために,Riehl-Shumanによるオリジナル論文arXiv:1705.07442における提案を取り上げた。解析的結果の収集と共に,特にRiehl-VerityとRasekhにより,著者らのタイプ理論的説明は,内部(∞,1)-カテゴリ,w.r.t.の任意のGrothendieck-Rezk-Lurie-(∞,1)から,単一原子価宇宙の厳格化について,Shumanの主たる結果arXiv:1904.07004による,任意のGrothendieck-Rezk-Lurie-(∞,1)-topへの合成理論を構成する。【JST・京大機械翻訳】