First three sections of this overview paper cover classical topics of deformation theory of associative algebras and necessary background material. We then analyze algebraic structures of the Hochschild cohomology and describe the relation between deformations and solutions of the corresponding Maurer-Cartan equation. In Section 6 we generalize the Maurer-Cartan equation to strongly homotopy Li...

First three sections of this overview paper cover classical topics of deformation theory of associative algebras and necessary background material. We then analyze algebraic structures of the Hochschild cohomology and describe the relation between deformations and solutions of the corresponding Maurer-Cartan equation. In Section 6 we generalize the Maurer-Cartan equation to strongly homotopy Li...

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 describe a category, the objects of which may be viewed as models for homotopy theories. We show that for such models, “functors between two homotopy theories form a homotopy theory”, or more precisely that the category of such models has a well-behaved internal hom-object.

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 ...

The homology of a homotopy inverse limit can be studied by a spectral sequence with has E 2 term the derived functors of limit in the category of coalgebras. These derived functors can be computed using the theory of Dieudonn e modules if one has a diagram of connected abelian Hopf algebras. One of the standard problems in homotopy theory is to calculate the homology of a given type of inverse ...

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...