In the first part of this paper we present a formalization in Agda of the James construction in homotopy type theory. We include several fragments of code to show what the Agda code looks like, and we explain several techniques that we used in the formalization. In the second part, we use the James construction to give a constructive proof that π4(S ) is of the form Z/nZ (but we do not compute ...

To solve the weakly-singular Volterra integro-differential equations, the combined method of the Laplace Transform Method and the Adomian Decomposition Method is used. As a result, series solutions of the equations are constructed. In order to explore the rapid decay of the equations, the pade approximation is used. The results present validity and great potential of the method as a powerful al...

We develop an obstruction theory for homotopy of homomorphisms f, g : M → N between minimal differential graded algebras. We assume that M = ΛV has an obstruction decomposition given by V = V0⊕V1 and that f and g are homotopic on ΛV0. An obstruction is then obtained as a vector space homomorphism V1 → H(N ). We investigate the relationship between the condition that f and g are homotopic and th...

We consider a category H ⊗ (the homotopy category of homotopy squares) whose objects are homotopy commutative squares of spaces and whose morphisms are cubical diagrams subject to a coherent homotopy relation. The main result characterises the isomorphisms of H ⊗ to be the cube morphisms whose forward arrows are homotopy equivalences. As a first application of the new category we give a direct ...

in this paper, nonlinear klein-gordon equation with quadratic term is solved by means of an analytic technique, namely the homotopy analysis method (ham).comparisons are made between the adomian decomposition method (adm), the exact solution and homotopy analysis method. the results reveal that the proposed method is very effective and simple.

in this paper, the homotopy perturbation method (hpm) and elzaki transform is employed to obtain the approximate analytical solution of the sine gorden and the klein gorden equations. the nonlinear terms can be handled by the use of homotopy perturbation method. the proposed homotopy perturbation method is applied to reformulate the first and the second order initial value problems which leads ...

For logical thinking learners, it is important to learn problem solving formally and intuitively. Homotopy which is modern mathematics combines algebra and geometry together. Homotopy gives the most abstract level of explanation or the most basic invariant which is the most required characteristics for logical thinking. The homotopy lifting property gives good explanation of inductive reasoning...

A quasi-schemoid is a small category with a particular partition of the set of morphisms. We define a homotopy relation on the category of quasi-schemoids and study its fundamental properties. The homotopy set of self-homotopy equivalences on a quasi-schemoid is used as a homotopy invariant in the study. The main theorem enables us to deduce that the homotopy invariant for the quasi-schemoid in...