CatDat

Implication Details

Assumptions: equalizer-preservingproduct-preserving

Assumptions on source category: products

Conclusions: continuous

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