Implication details
Claim: If a category has coequalizers and is semi-strongly connected, then it is filtered.
Proof: This is obvious.
This implication has a dual.
Show 11 categories using this implication
- simplex category
- category of finite ordered sets
- category of metric spaces with non-expansive maps
- partially ordered set of natural numbers
- category of pseudo-metric spaces with non-expansive maps
- category of connected sequences of sets
- category of sets with finite-to-one maps
- category of non-empty sets
- category of ω-sets
- walking coreflexive pair
- walking span