CatDat

Implication Details

Assumptions: generalized variety

Conclusions: ℵ₁-accessible

Reason: See [AR01, Remark 4.8(2)].