Implication Details

Assumptions: essentially small, products

Conclusions: thin

Reason: See Mac Lane, V.2, Prop. 3. The proof works for any category with products.