Implication details
Claim: If a category is essentially small and is a groupoid, then it is finitely accessible.
Proof: This is proven as Corollary 4 here.
This implication has a dual.
Claim: If a category is essentially small and is a groupoid, then it is finitely accessible.
This implication has a dual.