Implication Details

Assumptions: essentially small, groupoid

Conclusions: finitely accessible, generalized variety

Proof: This is proven here.

Show 8 categories using this implication