Algebraic Structure of the Space of Homotopy Classes of Cycles and Singular Homology

The algebraic structure on the space of homotopy classes of cycles with marked topological flags of disks is described. This space is a noncommutative monoid, with an abelian quotient corresponding to the group of singular homologies $H_k(M)$. For a marked flag contracted to a point, the multiplication becomes commutative, and the subgroup of spherical cycles corresponds to the usual homotopy group $\pi_k(M)$.