CatDat

Implication Details

Assumptions: preserves products

Conclusions: preserves finite products

Proof: This is trivial.

Show 23 functors using this implication