Implication Details

Assumptions: cosifted limits

Conclusions: cofiltered limits, coreflexive equalizers

This implication has been dualized from this implication.