Implication Details
Claim: If a category is Grothendieck abelian, then it is locally presentable.
Proof: See Deriving Auslander's formula, Cor. 5.2, or Sheafifiable homotopy model categories, Prop. 3.10.
Show 12 categories using this implication
- delooping of the additive monoid of ordinal numbers
- simplex category
- partially ordered collection of ordinal numbers
- category of abelian sheaves
- category of uniform spaces
- category of Z-functors
- forked commutative square
- walking coreflexive pair
- walking idempotent
- walking span
- dual of the category of sets
- dual of the category of topological spaces