CatDat

Implication Details

Assumptions: equalizer-preservingfinite-product-preserving

Assumptions on source category: finite products

Conclusions: left exact

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