CatDat

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 7 categories using this implication