Formality of ℙ-objects