Implication Details
Claim: If a category has a generating set and is a groupoid, then it has an extremal generating set.
Proof: This is trivial.
Claim: If a category has a generating set and is a groupoid, then it has an extremal generating set.
Proof: This is trivial.