CatDat

Implication Details

Assumptions: preserves equalizers

Conclusions: preserves coreflexive equalizers

Proof: This is trivial.

Show 21 functors using this implication