CatDat

Implication Details

Assumptions: codistributive

Conclusions: finite coproductsfinite products

This implication has been dualized from this implication.