高阶范畴伽罗瓦理论中提升条件的不合理有效性 I：一个拟范畴伽罗瓦定理
The Unreasonable Efficacy of the Lifting Condition in Higher Categorical Galois Theory I: a Quasi-categorical Galois Theorem
AI总结：
本文通过借鉴 Lurie 2024 的基础，将范畴伽罗瓦定理精化为拟范畴伽罗瓦定理，并揭示分解系统、高阶范畴伽罗瓦定理与高阶拓扑斯内部伽罗瓦理论之间的深层联系。
摘要：
在（Borceux-Janelidze 2001）中，他们证明了普通范畴的范畴伽罗瓦定理，并将（Joyal-Tierney 1984）的主要结果以及经典的环伽罗瓦理论确立为这一更一般结果的实例。本工作的主要结果通过大量借鉴（Lurie 2024）所奠定的基础，将其精化为拟范畴伽罗瓦定理。更重要的是，用于证明该结果的论证旨在揭示分解系统（特别是（Anel-Biedermann-Finster-Joyal 2021）的 lex 模态）、高阶范畴伽罗瓦定理以及高阶拓扑斯内部的伽罗瓦理论之间的深层联系。这是系列工作的第一部分，目的仅在于引出这一视角并证明定理 3.4。在未来的工作中，我们将深入探讨该论证的推广，并提供用于产生应用的工具。
英文摘要：
In (Borceux-Janelidze 2001) they prove a Categorical Galois Theorem for ordinary categories, and establish the main result of (Joyal-Tierney 1984), along with the classical Galois theory of Rings, as instances of this more general result. The main result of the present work refines this to a Quasicategorical Galois Theorem, by drawing heavily on the foundation laid in (Lurie 2024). More importantly, the argument used to prove the result is intended to highlight a deep connection between factorization systems (specifically the lex modalities of (Anel-Biedermann-Finster-Joyal 2021)), higher-categorical Galois Theorems, and Galois theories internal to higher toposes. This is the first part in a series of works, intended merely to motivate the lens and prove Theorem 3.4. In future work, we will delve into a generalization of the argument, and offer tools for producing applications.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
