CatDat

Implication Details

Assumptions: preserves equalizerspreserves products

Requirements of the source: products

Conclusions: continuous

Proof: This follows from the construction of limits via equalizers and products, see Mac Lane, Ch. V, Theorem 2.2.

Show 1 functor using this implication