Lemma of the day

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

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

See Tag 06T5.