Implication Details
Assumptions: preserves binary products, preserves coreflexive equalizers
Requirements of the source: binary products
Conclusions: preserves equalizers
Proof: This follows easily from this result about categories and its proof.
Assumptions: preserves binary products, preserves coreflexive equalizers
Requirements of the source: binary products
Conclusions: preserves equalizers
Proof: This follows easily from this result about categories and its proof.