Related papers: Synthetic Homotopy Theory
In condensed matter physics and related areas, topological defects play important roles in phase transitions and critical phenomena. Homotopy theory facilitates the classification of such topological defects. After a pedagogic introduction…
The main objective of this paper is to construct a homotopy colimit functor on a category of functors taking values in the model category of quasi-categories.
The Hopf theorem states that homotopy classes of continuous maps from a closed connected oriented smooth $n$-manifold $M$ to the $n$-sphere are classified by their degree. Such a map is equivalent to a section of the trivial $n$-sphere…
This paper is primarily devoted to the study of Hopf heaps and Hopf heap modules. We redefine the structure of Hopf trusses by means of Hopf heaps, establish the connection between Hopf trusses and Hopf braces, and provide a series of…
We study the foundational properties of persistent homotopy groups and develop elementary computational methods for their analysis. Our main theorems are persistent analogues of the Van Kampen, excision, suspension, and Hurewicz theorems.…
This paper aims to help the development of new models of homotopy type theory, in particular with models that are based on realizability toposes. For this purpose it develops the foundations of an internal simplicial homotopy that does not…
We analyze a recent application of homotopy perturbation method to some heat-like and wave-like models and show that its main results are merely the Taylor expansions of exponential and hyperbolic functions. Besides, the authors require…
We combine Homotopy Type Theory with axiomatic cohesion, expressing the latter internally with a version of "adjoint logic" in which the discretization and codiscretization modalities are characterized using a judgmental formalism of "crisp…
We establish, in the setting of equivariant motivic homotopy theory for a finite group, a version of tom Dieck's splitting theorem for the fixed points of a suspension spectrum. Along the way we establish structural results and…
The objective of this work is to reconsider the schematization problem of [6], with a particular focus on the global case over Z. For this, we prove the conjecture [Conj. 2.3.6][15] which gives a formula for the homotopy groups of the…
This is a sequel to a previous paper, developing an intrinsic, combinatorial homotopy theory for simplicial complexes; the latter form the cartesian closed subcategory of 'simple presheaves' in !Smp, the topos of symmetric simplicial sets,…
Given an algebraic theory $\ct$, a homotopy $\ct$-algebra is a simplicial set where all equations from $\ct$ hold up to homotopy. All homotopy $\ct$-algebras form a homotopy variety. We give a characterization of homotopy varieties…
This is an introductory textbook to univalent mathematics and homotopy type theory, a mathematical foundation that takes advantage of the structural nature of mathematical definitions and constructions. It is common in mathematical practice…
In this paper, we initiate a study of motivic homotopy theory at infinity. We use the six functor formalism to give an intrinsic definition of the stable motivic homotopy type at infinity of an algebraic variety. Our main computational…
In this short note, we construct a class of models of an extension of homotopy type theory, which we call homotopy type theory with an interval type.
By using finiteness related result of non-abelian tensor product we prove finiteness conditions for the homotopy groups $\pi_n(X)$ in terms of the number of tensors. In particular, we establish a quantitative version of the classical…
We develop a new extended version of the mode-coupling theory (MCT) for glass transition, which incorporates activated hopping processes via the dynamical theory originally formulated to describe diffusion-jump processes in crystals. The…
This paper is part of a series of papers about homotopy theory of strict $n$-categories. In the first paper of this series, we gave conditions that guarantee the existence of a Thomason model category structure on the category of strict…
In this text we expose basic cases of some fundamental ideas and methods of topology. Namely, of homotopy, degree, fundamental group, covering, Whitehead invariant, etc. This is done by considering the elementary example: closed polygonal…
This thesis introduces the idea of two-level type theory, an extension of Martin-L\"of type theory that adds a notion of strict equality as an internal primitive. A type theory with a strict equality alongside the more conventional form of…