Structure

Implication details

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

Proof: This is obvious.
Show 17 categories using this implication