Implication Details

Assumptions: preserves coreflexive equalizers, preserves finite products

Assumptions on source category: binary products

Conclusions: preserves equalizers

Proof: This follows easily from this result about categories.

Show 3 functors using this implication