Let Σ be a compact oriented surface of genus g with one boundary component. Homology cylinders over Σ form a monoid 𝓘𝒞 into which the Torelli group 𝓘 of Σ embeds by the mapping cylinder ...