CatDat

Implication Details

Claim: Given a functor whose domain has products, if it preserves preserves equalizers and preserves preserves products, then it is 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