Iterated bar complexes of \(E\)-infinity algebras and homology theories (Q631335)

Seeking an effective computation of the iterated bar complex for \(E_\infty\)-algebras is classical in algebraic topology. In this article such a computation is given and it is used to prove that the \(n\)-fold bar construction extends to categories of algebras over \(E_n\)-operads. It is also shown that the \(n\)-fold bar complex determines the homology theory of such categories. The article is skillfully written and is designed to present the numerous results in it in a very readable fashion. The introduction is excellently written, including a detailed plan of the paper and a list of the main theorems established, followed by a `Section 0' listing the fundamental concepts of operad theory and model structures used in the article. The reader will find the article very easy to navigate and useful as well as accessible to both the expert and the (relatively) novice.