Talk:Representation up to homotopy