Implication details
Claim: If a category is accessible and has pushouts, then it is well-copowered.
Proof: See Adámek–Rosický, Thm. 2.49, or Makkai–Paré, Prop. 6.1.3.
This implication has a dual.
Show 20 categories using this implication
- category of Banach spaces with linear contractions
- category of sets equipped with a binary relation
- category of sets equipped with a reflexive binary relation
- category of sets equipped with a symmetric binary relation
- category of sets equipped with a symmetric reflexive binary relation
- category of small categories
- category of cochain complexes of abelian groups
- category of filtered vector spaces
- category of extended metric spaces
- category of sets with a distinguished subset
- category of partially ordered sets
- category of preordered sets
- category of sequences of abelian groups
- category of connected sequences of sets
- category of non-empty sets
- category of abelian sheaves
- category of torsion abelian groups
- category of torsion-free abelian groups
- category of graded abelian groups
- category of graded modules over a graded ring