An extensional λ-model with ∞-grupoid structure
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.
READ FULL TEXT