Implication Details

Claim: If a category is finite and is one-way and is skeletal, then it is direct.

Proof: See the nLab for a proof.

Show 8 categories using this implication