Claim: If a category has a generator and is a groupoid, then it has an extremal generator.
Proof: This is trivial.