Implication Details

Assumptions: essentially small, groupoid

Conclusions: finitely accessible, generalized variety

Proof: This is proven here.

Show 9 categories using this implication