File:Regular category 1.png

Summary
Commutative diagram for regular category.