CatDat

Implication Details

Assumptions: accessible

Conclusions: locally essentially small

Proof: See the proof of Prop. 2.1.5 in Makkai-Pare.

Show 1 category using this implication