Related papers: Higher Homotopic Distance

One takes advantage of some basic properties of every homotopic $\lambda$-model (e.g.\ extensional Kan complex) to explore the higher $\beta\eta$-conversions, which would correspond to proofs of equality between terms of a theory of…

Invited contribution to the Encyclopedia of Mathematical Physics. We give an introduction to the homotopical theory of higher categories, focused on motivating the definitions of the basic objects, namely $\infty$-categories and…

We introduce and study the notion of \emph{equivariant homotopic distance} $D_G(f,g)$ between $G$-maps $f,g \colon X \to Y$. We show that the equivariant Lusternik-Schnirelmann category and the equivariant topological complexity are…

For digital images, there is an established homotopy equivalence relation which parallels that of classical topology. Many classical homotopy equivalence invariants, such as the Euler characteristic and the homology groups, do not remain…

Higher homotopies are nowadays playing a prominent role in mathematics as well as in certain branches of theoretical physics. We recall some of the connections between the past and the present developments. Higher homotopies were isolated…

Using contact homology, we reobtain some recent results of Geiges and Gonzalo about the fundamental group of the space of contact structures on some 3-manifolds. We show that our techniques can be used to study higher dimensional contact…

This work is originally a Cambridge Part III essay. Throughout the paper, some aspects of General Relativity in higher dimensions are reviewed. The work presented draws a path within the wide landscape of higher dimensional black holes…

Given based cellular spaces X and Y, X compact, we define a sequence of increasingly fine equivalences on the based-homotopy set [X,Y].

We introduce three generalizations of homotopy equivalence in digital images, to allow us to express whether a finite and an infinite digital image are similar with respect to homotopy. We show that these three generalizations are not…

This is a survey of motivations, constructions and applications of higher prequantum geometry. In section 1 we highlight the open problem of prequantizing local field theory in a local and gauge invariant way, and we survey how a solution…

We prove that a space whose topological complexity equals 1 is homotopy equivalent to some odd-dimensional sphere. We prove a similar result, although not in complete generality, for spaces X whose higher topological complexity TC_n(X) is…

This paper gives a first step towards developing synthetic differential geometry within homotopy type theory. Its model theory will be discussed in a subsequent paper.

One of the prime motivation for topology was Homotopy theory, which captures the general idea of a continuous transformation between two entities, which may be spaces or maps. In later decades, an algebraic formulation of topology was…

In this paper, we introduce the higher analogues of contiguity distance and its relations with simplicial Lusternik-Schnirelmann category and discrete topological complexity. Also we study the effects of geometric realisation and…

This Chapter, "High-dimensional ABC", is to appear in the forthcoming Handbook of Approximate Bayesian Computation (2018). It details the main ideas and concepts behind extending ABC methods to higher dimensions, with supporting examples…

Given a suitable functor T:C -> D between model categories, we define a long exact sequence relating the homotopy groups of any X in C with those of TX, and use this to describe an obstruction theory for lifting an object G in D to C.…

Homotopy coherence has a considerable history, albeit also by other names. For this volume highlighting symmetries, the appropriate use is: Homotopy coherence of representations, at one time known as strong homotopy representations. We…

This article introduces strongly near proximity, which represents a new kind of proximity called \emph{almost proximity}. A main result in this paper is the introduction of a hit-and-miss topology on ${CL}(X)$, the hyperspace of nonempty…

We explore the canonical Grothendieck topology and a new homotopical analog. First we discuss some background information, including defining a new 2-category called the Index-Functor Category and a sieve generalization. Then we discuss a…

We give a new approach to intersection theory. Our "cycles" are closed manifolds mapping into compact manifolds and our "intersections" are elements of a homotopy group of a certain Thom space. The results are then applied in various…