Cochain operations defining Steenrod--products in the bar construction.
Finite type nilpotent spaces are weakly equivalent if and only if their singular cochains are quasi-isomorphic as E∞ algebras. The cochain functor from the homotopy category of finite type nilpotent spaces to the homotopy category of E∞ algebras is faithful but not full.
In the existing literature there are several constructions of the strong shape category of topological spaces. In the one due to Yu. T. Lisitsa and S. Mardešić [LM1-3] an essential role is played by coherent polyhedral (ANR) expansions of spaces. Such expansions always exist, because every space admits a polyhedral resolution, resolutions are strong expansions and strong expansions are always coherent. The purpose of this paper is to prove that conversely, every coherent polyhedral (ANR) expansion...
In the rational cohomology of a 1-connected space a structure of -algebra is constructed and it is shown that this object determines the rational homotopy type.
We study cohomology algebras of graded differential algebras which are models for Hochschild homology of some classes of topological spaces (e.g. homogeneous spaces of compact Lie groups). Explicit formulae are obtained. Some applications to cyclic homology are given.
The aim of this note, which raises more questions than it answers, is to study natural operations acting on the cohomology of various types of algebras. It contains a lot of very surprising partial results and examples.
This paper is devoted to an exposition of cohomology theories on categories of spaces where the cohomology theories satisfy the type of axiom system considered in [1, 12, 16, 17, 18]. The categories considered are Ccomp, the category of all compact Haudorff spaces and continuous functions between them, and Cloc comp, the category of all locally compact Hausdorff spaces and proper continuous functions between them. The fundamental uniqueness theorem for cohomology theories on a finite dimensional...
Let G be a finite group, the category of canonical orbits of G and b a contravariant functor to the category of abelian groups. We investigate the set of G-homotopy classes of comultiplications of a Moore G-space of type (A,n) where n ≥ 2 and prove that if such a Moore G-space X is a cogroup, then it has a unique comultiplication if dim X < 2n - 1. If dim X = 2n-1, then the set of comultiplications of X is in one-one correspondence with . Then the case leads to an example of infinitely...