Mathematics – Quantum Algebra
Scientific paper
2000-02-22
Mathematics
Quantum Algebra
100 pages. An introductory paper is available, 8 pages and operad-free: math.QA/9912084
Scientific paper
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 operad P. Then our definition says what a homotopy P-algebra in M is, provided only that some of the morphisms in M have been marked out as `homotopy equivalences'. The bulk of the paper consists of examples of homotopy algebras. We show that any loop space is a homotopy monoid, and, in fact, that any n-fold loop space is an n-fold homotopy monoid in an appropriate sense. We try to compare weakened algebraic structures such as A_infinity-spaces, A_infinity-algebras and non-strict monoidal categories to our homotopy algebras, with varying degrees of success. We also prove results on `change of base', e.g. that the classifying space of a homotopy monoidal category is a homotopy topological monoid. Finally, we reflect on the advantages and disadvantages of our definition, and on how the definition really ought to be replaced by a more subtle infinity-categorical version.
No associations
LandOfFree
Homotopy Algebras for Operads does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Homotopy Algebras for Operads, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Homotopy Algebras for Operads will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-557914