Implication Details

Assumptions: finite, one-way, skeletal

Conclusions: direct

Proof: See the nLab for a proof.

Show 7 categories using this implication