CatDat

Implication Details

Assumptions: regular

Conclusions: finitely complete

Reason: This holds by definition of a regular category.