Implication Details
Assumptions: accessible
Conclusions: generating set
Reason: For a -accessible category, the set appearing in the definition gives a small dense full subcategory, which is in particular a generating set.
Assumptions: accessible
Conclusions: generating set
Reason: For a -accessible category, the set appearing in the definition gives a small dense full subcategory, which is in particular a generating set.