An extensional λ-model with ∞-grupoid structure

06/13/2019

∙

by   Daniel Martinez Rivillas, et al.

∙

0

∙

share

From a topological space, a set with ∞-grupoid structure is built and this construction is applied to the case of ordered sets equipped with the Scott topology. The main purpose is to project the λ-model D_∞ of Dana Scott to an extensional λ-model with structure of ∞-grupoid under a composition operation between cells.