Towards a Homotopy Domain Theory (HoDT)

07/29/2020

∙

by   Daniel O. Martínez-Rivillas, et al.

∙

0

∙

share

A favourable environment is proposed for the achievement of λ-models with ∞-groupoid structure, which we will call homotopic λ-models, through of an ∞-category of ∞-groupoids with cartesian closure and enough points. Thus establishing the start of a project of generalization of the Domain Theory and λ-calculus; in the sense of the elevation of the concept proof (morphism) of equality of λ-terms to higher proof (homotopy).