The goal of this paper is to study the homotopy theory of homotopy algebras over a Koszul operad with their infinity morphisms. The method consists in endowing the category of coalgebras over the Koszul dual cooperad with a model category structure. CONTENTS Introduction 1 1. Recollections 2 2. Model category structure for coalgebras 5 3. Conclusion 14 Appendix A. A technical lemma 15 Reference...

We propose a notion of 1-homotopy for generalized maps. This notion generalizes those of natural transformation and ordinary homotopy for functors. The 1-homotopy type of a Lie groupoid is shown to be invariant under Morita equivalence. As an application we consider orbifolds as groupoids and study the notion of orbifold 1-homotopy type induced by a 1-homotopy between presentations of the orbif...

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

Informally, a homotopy monoid is a monoid-like structure in which properties such as associativity only hold ‘up to homotopy’ in some consistent way. This short paper comprises a rigorous definition of homotopy monoid and a brief analysis of some examples. It is a much-abbreviated version of the paper ‘Homotopy Algebras for Operads’ (math.QA/0002180), and does not assume any knowledge of operads.

This paper is the second part of a series of papers about a new notion of T-homotopy of flows. It is proved that the old definition of T-homotopy equivalence does not allow the identification of the directed segment with the 3-dimensional cube. This contradicts a paradigm of dihomotopy theory. A new definition of T-homotopy equivalence is proposed, following the intuition of refinement of obser...

We study some properties of A-homotopy groups: geometric interpretations of connectivity, excision results, and a re-interpretation of geometric quotients by solvable groups in terms of covering spaces in the sense of A-homotopy theory. These concepts and results are well-suited to the study of certain quotients via geometric invariant theory. As a case study in geometry of solvable group quoti...

There are algorithms for finding zeros or fixed points of nonlinear systems of equations that are globally convergent for almost all starting points, i.e., with probability one. The essence of all such algorithms is the construction of an appropriate homotopy map and then tracking some smooth curve in the zero set of this homotopy map. HOMPACK is a mathematical software package implementing glo...

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 equivalent to ordinary homotopy equivalence, and give several examples. We show that, like homotopy equivalence, our three generalizations imply isomorphism of fu...

We show that Chen-Ruan cohomology is a homotopy invariant in certain cases. We introduce the notion of a T -representation homotopy which is a stringent form of homotopy under which Chen-Ruan cohomology is invariant. We show that while hyperkähler quotients of T C by S (here termed weighted hyperprojective spaces) are homotopy equivalent to weighted projective spaces, they are not S-representat...

in this paper, we consider the inhomogeneous time-fractional nonlinear fisher equation with three known boundary conditions. we first apply a modified homotopy perturbation method for translating the proposed problem to a set of linear problems. then we use the separation variables  method to solve obtained problems. in examples, we illustrate that by right choice of source term in the modified...