论文标题
走向同型领域理论
Towards a Homotopy Domain Theory
论文作者
论文摘要
通过使用$ \ infty $ - 类别，使用带有笛卡尔封闭的$ \ iffty $类别，为$ \ infty $ groupoid结构提供了适当的框架，以使用$ \ infty $ groupoid结构构建$ \ infty $ groupoid结构。这样，我们就建立了域理论概括和$λ$ -calculus的项目的开始，这是因为将$λ$ terms的证明（路径）的概念提高到\ textit {repiction {repiction}（同型）。
An appropriate framework is put forward for the construction of $λ$-models with $\infty$-groupoid structure, which we call \textit{homotopic $λ$-models}, through the use of an $\infty$-category with cartesian closure and enough points. With this, we establish the start of a project of generalization of Domain Theory and $λ$-calculus, in the sense that the concept of proof (path) of equality of $λ$-terms is raised to \textit{higher proof} (homotopy).
