Implication Details

Assumptions: groupoid

Conclusions: directed limits, left cancellative, mono-regular, pullbacks, self-dual, well-powered

Reason: This is easy.