CatDat

Implication Details

Claim: If a category is strongly connected and is thin, then it is trivial.

Proof: This is obvious.

Show 16 categories using this implication