Implication Details

Assumptions: groupoid

Conclusions: directed colimits, epi-regular, pushouts, right cancellative, self-dual, well-copowered

This implication has been dualized from this implication.