An extensional $\lambda$-model with $\infty$-grupoid structure

Daniel Martinez Rivillas, Ruy J. G. B. de Queiroz

From a topological space, a set with $\infty$-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 $\lambda$-model $D_\infty$ of Dana Scott to an extensional $\lambda$-model with structure of $\infty$-grupoid under a composition operation between cells.

Knowledge Graph

arrow_drop_up

Comments

Sign up or login to leave a comment