We present a definition of homotopy algebra for an operad, and explore its consequences. The paper should be accessible to topologists, category theorists, and anyone acquainted with operads. After a review of operads and monoidal categories, the definition of homotopy algebra is given. Specifically, suppose that M is a monoidal category in which it makes sense to talk about algebras for some o...

Homotopy And Simple Homotopy Theory We may not be able to make you love reading, but abstract homotopy and simple homotopy theory will lead you to love reading starting from now. Book is the window to open the new world. The world that you want is in the better stage and level. World will always guide you to even the prestige stage of the life. You know, this is some of how reading will give yo...

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