CatDat

Implication Details

Assumptions: preserves equalizerspreserves products

Assumptions on source category: products

Conclusions: continuous

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