Implication Details
Assumptions: Grothendieck abelian
Conclusions: locally presentable
Proof: See Deriving Auslander's formula, Cor. 5.2, or Sheafifiable homotopy model categories, Prop. 3.10.
Show 13 categories using this implication
- category of abelian sheaves
- category of pointed topological spaces
- category of sets with finite-to-one maps
- category of topological spaces
- category of Z-functors
- delooping of the additive monoid of ordinal numbers
- poset of ordinal numbers
- simplex category
- walking coreflexive pair
- walking idempotent
- walking span
- dual of the category of sets
- dual of the category of topological spaces