Implication Details

Assumptions: finitely cocomplete, left cancellative

Conclusions: regular quotient object classifier

This implication has been dualized from this implication.