Implication Details
Assumptions: preserves coequalizers, preserves coproducts
Requirements of the source: coproducts
Conclusions: cocontinuous
This implication has been dualized from this implication.
Assumptions: preserves coequalizers, preserves coproducts
Requirements of the source: coproducts
Conclusions: cocontinuous
This implication has been dualized from this implication.