Implication Details
Assumptions: accessible, pushouts
Conclusions: 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 posets
- category of prosets
- category of sets with a distinguished subset
- category of small categories
- category of torsion abelian groups
- category of torsion-free abelian groups
- poset of ordinal numbers