Representations up to coherent homotopy