Homotopy type theory is a recent research area connecting type theory with homotopy theory by interpreting types as spaces. In particular, one can prove and mechanize type-theoretic analogues of homotopy-theoretic theorems, yielding “synthetic homotopy theory”. Here we consider the Seifert–van Kampen theorem, which characterizes the loop structure of spaces obtained by gluing. This is useful in...

Homotopy And Simple Homotopy Theory Feel lonely? What about reading books? Book is one of the greatest friends to accompany while in your lonely time. When you have no friends and activities somewhere and sometimes, reading book can be a great choice. This is not only for spending the time, it will increase the knowledge. Of course the b=benefits to take will relate to what kind of book that yo...

In this study, the implantation of a new semi-analytical method called optimal auxiliary function (OAFM) has been extended to partial differential equations. The adopted was tested upon for approximate solution generalized modified b-equation. first-order numerical obtained by OAFM compared with variational homotopy perturbation (VHPM). possesses and control parameters which can be easily handl...

The purpose of this paper is to show that ideas and techniques of the homotopy continuation method can be used to find the complete set of eigenpairs of a symmetric matrix. The homotopy defined by Chow, Mallet- Paret and York [I] may be used to solve this problem with 2""-n curves diverging to infinity which for large n causes a great inefficiency. M. Chu 121 introduced a homotopy equation...

Homotopy limits and colimits are homotopical replacements for the usual limits and colimits of category theory, which can be approached either using classical explicit constructions or the modern abstract machinery of derived functors. Our first goal is to explain both and show their equivalence. Our second goal is to generalize this result to enriched categories and homotopy weighted limits, s...

Working in homotopy type theory, we provide a systematic study of homotopy limits of diagrams over graphs, formalized in the Coq proof assistant. We discuss some of the challenges posed by this approach to formalizing homotopy-theoretic material. We also compare our constructions with the more classical approach to homotopy limits via fibration categories.

Certain naturally occurring spaces have isomorphic v 1-periodic homotopy groups. To each is associated a mapping telescope whose ordinary homotopy groups equal the v 1-periodic homotopy groups of the space. It is proved that the mapping telescopes of the spaces are homotopy equivalent .

Link homotopy has been an active area of research for knot theorists since its introduction by Milnor in the 1950s. We introduce a new equivalence relation on spatial graphs called component homotopy, which reduces to link homotopy in the classical case. Unlike previous attempts at generalizing link homotopy to spatial graphs, our new relation allows analogues of some standard link homotopy res...