CatDat

Implication Details

Assumptions: preserves equalizerspreserves finite products

Assumptions on source category: finite products

Conclusions: left exact

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

Show 3 functors using this implication