Implication Details

Assumptions: conservative, preserves coequalizers

Assumptions on source category: coequalizers

Conclusions: faithful

This implication has been dualized from this implication.

Show 3 functors using this implication