An extensional λ-model with ∞-grupoid structure

06/13/2019
by   Daniel Martinez Rivillas, et al.
0

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

page 1

page 2

page 3

page 4

research
12/20/2017

Sheaf-Theoretic Stratification Learning

In this paper, we investigate a sheaf-theoretic interpretation of strati...
research
12/05/2018

Equational Axiomatization of Algebras with Structure

This paper proposes a new category theoretic account of equationally axi...
research
08/29/2018

Stochastic order on metric spaces and the ordered Kantorovich monad

In earlier work, we had introduced the Kantorovich probability monad on ...
research
12/18/2019

PCPATCH: software for the topological construction of multigrid relaxation methods

Effective relaxation methods are necessary for good multigrid convergenc...
research
10/07/2022

Toward an Over-parameterized Direct-Fit Model of Visual Perception

In this paper, we revisit the problem of computational modeling of simpl...
research
09/22/2019

Probabilistic Fitting of Topological Structure to Data

We define a class of probability distributions that we call simplicial m...
research
10/15/2021

Non-existing and ill-behaved coequalizers of locally ordered spaces

Categories of locally ordered spaces are especially well-adapted to the ...

Please sign up or login with your details

Forgot password? Click here to reset