Let F be a predeformation category which has a versal formal object. Then

- F has a minimal versal formal object,
- minimal versal objects are unique up to isomorphism, and
- any versal object is the pushforward of a minimal versal object along a power series ring extension.

See Tag 06T5.