Homotopy coherent multiplications and loop spaces