Implication Details

Claim: If a category has a generating collection and is a groupoid, then it has an extremal generating collection.

Proof: This is trivial.

This implication has a dual.