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