Implication Details
Assumptions: initial object, wide pushouts
Conclusions: cocomplete
This implication has been dualized from this implication.
Show 11 categories using this implication
- category of finite abelian groups
- category of finite groups
- category of free abelian groups
- category of smooth manifolds
- category of metric spaces with continuous maps
- poset of natural numbers
- category of sets and relations
- category of schemes
- category of sets with finite-to-one maps
- walking fork
- walking splitting