Categories equivalent to the category of rational H-spaces (Q1823507)

\({\mathbb{T}}\) denotes the category of 1-connected, based, topological spaces \(X\) of the homotopy type of a simplicial complex which are rational and of finite type. The category \({\mathcal H}\) of rational H-spaces, considered here, is the associated monoid category of \({\mathbb{T}}\). The objects of \({\mathcal H}\) are pairs (X,\(\mu)\) with \(X\) an object of \({\mathbb{T}}\) and \(\mu\) is an element of the set of ordinary homotopy classes \([X\times X,X]\). Next let \({\mathbb{H}}\) be the category of associative and coassociative 1-reduced Hopf algebras of finite type. \({\mathbb{H}}_{com}\) (resp. \({\mathbb{H}}_{cocom})\) is the full subcategory of \({\mathbb{H}}\) of commutative (resp. cocommutative) Hopf algebras. The category \({\mathbb{H}}_{cocom}\) is known to be equivalent to some category \({\mathbb{L}}\) graded Lie algebras. Considering the rational cohomology, homology, and homotopy functors \(H^*\), \(H_*\), \(\pi_*\), the author proves: Theorem A: The functors \(H^*: {\mathcal H}\to {\mathbb{H}}_{com}\), \(H_*: {\mathcal H}\to {\mathbb{H}}_{cocom}\), \(\pi_*: {\mathcal H}\to {\mathbb{L}}\) are equivalences of categories. A dualt result asserts that the convenient category of rational coH-spaces is equivalent to the comonoid category of \({\mathbb{L}}\). Several consequences of Theorem A are derived, in particular Proposition (3.1) gives equivalent conditions for an H-space to be homotopy abelian. The second result (Theorem B) asserts that: The loop-space functor \(\Omega\) : \({\mathbb{C}}\to {\mathcal H}\) is an equivalence of categories, when \({\mathbb{C}}\) denotes the category whose objects are coformal rational spaces with fixed coformalization. The morphisms are homotopy classes of coformal maps with respect to the fixed coformalizations. - A dual statement is also stated.