Category Theory/Subcategories

Analogously, we have: