CatDat

Implication Details

Claim: If a category has coequalizers and is semi-strongly connected, then it is filtered.

Proof: This is obvious.

Show 8 categories using this implication