Implication Details

Assumptions: accessible

Proof: For a $\kappa$ -accessible category, the set $G$ appearing in the definition gives a small dense full subcategory, which is in particular a generating set.

Show 6 categories using this implication

category of Banach spaces with linear contractions
category of fields
category of locally ringed spaces
category of schemes
category of torsion abelian groups
category of torsion-free abelian groups