Implication details
Claim: If a category has filtered colimits and is left cancellative, then it has filtered-colimit-stable monomorphisms.
Proof: This is trivial.
This implication has a dual.
Show 12 categories using this implication
- category of Banach spaces with linear contractions
- category of compact Hausdorff spaces
- category of Hausdorff spaces
- category of locally ringed spaces
- category of metric spaces with non-expansive maps
- category of extended metric spaces
- partially ordered collection of ordinal numbers
- category of sets and bijections
- discrete category of sets
- category of large families of sets and bijections
- preordered set of integers w.r.t. divisibility
- real interval [0,1]