Implication Details

Assumptions: essentially small

Conclusions: generating set

Reason: In a small category, the set of all objects is clearly a generating set.