Implication Details
Claim: If a category is accessible and has pushouts, then it is well-copowered.
Proof: See Thm. 2.49 in Adamek-Rosicky or Prop. 6.1.3 in Makkai-Pare.
Show 11 categories using this implication
- category of Banach spaces with linear contractions
- category of filtered vector spaces
- category of metric spaces with ∞ allowed
- category of non-empty sets
- category of partially ordered sets
- category of preordered sets
- category of sets with a distinguished subset
- category of small categories
- category of torsion abelian groups
- category of torsion-free abelian groups
- partially ordered collection of ordinal numbers