CatDat

Implication Details

Assumptions: preserves coequalizerspreserves coproducts

Requirements of the source: coproducts

Conclusions: cocontinuous

This implication has been dualized from this implication.

Show 1 functor using this implication