Implication Details

Assumptions: biproducts, cofiltered limits, cofiltered-limit-stable epimorphisms, coproducts

Conclusions: CSP

This implication has been dualized from this implication.