2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/64437The set of cochain multioperations defining Steenrod $\smile_i$-products in the bar construction is constructed in terms of surjection operad. This structure extends a Homotopy G-algebra structure which defines just the $\cup $ on the bar construction.Algebraic TopologyQuantum Algebra55P48, 57T30 (Primary), 55S10 (Secondary)Cochain operations defining Steenrod $\cup_i$-products in the bar constructiontext